Conversation
… as standardized in dhall-lang/dhall-lang#1158
|
|
||
| endOfLine = do | ||
| endOfLine_ = do | ||
| a <- "\n" <|> "\r\n" |
There was a problem hiding this comment.
nit: could this be replaced by a <- endOfLine ?
|
It would be nice to support multiple lines of I have just tested this branch with the following (from the root of the #! /usr/bin/env nix-shell
#! nix-shell -i "dhall --file" -p "(import ./.).dhall"
42Which currently gives me: ➜ ./test.dhall
dhall:
Error: Invalid input
./test.dhall:2:1:
|
2 | #! nix-shell -i "dhall --file" -p "(import ./.).dhall"
| ^^^^^^^^
unexpected "#! nix-s"
expecting expression or whitespaceI saw the |
|
@basile-henry: Yeah, that would first require an upstream change to the standard, which we can still do afterwards |
|
It seems like Alternatively, perhaps nix-shell could be modified to also consider |
|
Also it is unfortunate that |
That's probably true for |
|
|
… as standardized in dhall-lang/dhall-lang#1158