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

Fix the code generator name for JavaScript CG

Browse Source 
js -> javascript
This commit is contained in:
Kamiλ Shakirov 2020-07-30 18:08:03 +06:00 committed by G. Allais
parent d5f35ff0be
commit 143d2c5b11
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG.md
View File

@ -56,7 +56,7 @@ Compiler changes:
* It is now possible to create new backends with minimal overhead. `Idris.Driver`
exposes the function `mainWithCodegens` that takes a list of codegens. The
feature in documented [here](https://idris2.readthedocs.io/en/latest/backends/custom.html).
* New code generators `node` and `js`.
* New code generators `node` and `javascript`.
REPL changes: