idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 12:42:02 +03:00
Code Issues Projects Releases Wiki Activity

Js shebang (#2830)

Browse Source 
* add shebang to outputted node file
after `chmod`ing the file, it can be run directly
ie `./build/exec/test` rather than `node ./build/exec/test``

* update CHANGELOG.md

* [ linter ]

* [ linter ] again...
This commit is contained in:
Zoe Stafford 2022-12-22 14:56:44 +00:00 committed by GitHub
parent 45fc038300
commit 217271a623
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG.md
View File

@ -27,6 +27,10 @@
* Non-recursive top-level constants are compiled to eagerly evaluated
constants in Chez Scheme.
#### Node.js
* Generated JavaScript files now include a shebang when using the Node.js backend
### Compiler changes
* If `IAlternative` expression with `FirstSuccess` rule fails to typecheck,

7
src/Compiler/ES/Node.idr
View File

@ -31,7 +31,12 @@ compileToNode :
Ref Ctxt Defs ->
Ref Syn SyntaxInfo ->
ClosedTerm -> Core String
compileToNode c s tm = compileToES c s Node tm ["node", "javascript"]
compileToNode c s tm = do
js <- compileToES c s Node tm ["node", "javascript"]
pure $ shebang ++ js
where
shebang : String
shebang = "#!/usr/bin/env node\n"
||| Node implementation of the `compileExpr` interface.
compileExpr :