sogaiu / judge-gen Goto Github PK

Input for reproduction:

(comment

  (-> ``
      123456789
      ``
      length)
  # => 9

  (->
    ``
    123456789
    ``
    length)
  # => 9
  
  )

Both of these should result in the same length of 9. The first one results in 14.

Relevant code is:

The resulting code for the first case ends up like:

(_verify/is (-> ``
      12345789
      ``
      length)
      9 "line-...")

This is a problem because for Janet to do the "removes leading whitespace" thing:

• the first non-whitespace character of the first line of the interior of the long-string must match the column of the first backtick in the opening delimiter of the long-string, and
• the first non-whitespace characters of the subsequent lines of the interior of the long-string must be at or after the column of the first backtick in the opening delimiter of the long-string

...or something like that :)

In the above example, the string 123456789 should start directly beneath the first backtick of the opening delimiter of the long-string, but it doesn't.

Some work-arounds are to express such constructs like:

(comment

  (->
    ``
    123456789
    ``
    length)
  # => 9
  
  )

or:

(comment

  (def a-string
    ``
    123456789
    ``)

  (-> a-string
      length)
  # => 9
  
  )