Unable to use the `dom` dependency.
Closed this issue · 2 comments
srid commented
idris2-dom
was added in #8. I added depends = dom
in the .pkg file, but idris is unable to locate the JS
module from that package:
idris2 -o main.js src/Main.idr --cg javascript
Error: Module JS not found
src.Main:3:1--3:10
1 | module Main
2 |
3 | import JS
^^^^^^^^^
Error: Undefined name unsafePerformIO.
(Interactive):1:1--1:1
1 | module Main
To reproduce, run nix develop -c make idrisid
in this tree: srid/idris-web-playground@eb279f0
srid commented
srid commented