FrederickPu

I'm trying to make a test for loading dynlibs but seems to crash whenever you actually call the extern function ``` @FrederickPu ➜ /workspaces/repl/test/dynlib (dynlib-option) $ lake env ../../.lake/build/bin/repl --dynlib...

thx. but the fact that the repl just exits without printing anything is also an error handling issue right?

Also even when I put it into a compiled module it still fails: ``` @FrederickPu ➜ /workspaces/repl/test/dynlib (dynlib-option) $ lake env ../../.lake/build/bin/repl --dynlib lib/libmylib.so Loading dynlib: lib/libmylib.so { "cmd": "import...

I've just pushed my changes to the `test/dynlib` folder

now i get the following issue: ``` lake env ../../.lake/build/bin/repl --dynlib ./.lake/build/lib/libmylib.so Loading dynlib: ./.lake/build/lib/libmylib.so { "cmd": "import Dynlib" } {"env": 0} { "cmd": "#eval add 2 2", "env": 0...

yeah im on windows

im gonna try again on linux to see if I still get the error

this is my lakefile (it's basically an empty project) ``` import Lake open Lake DSL package canonicaldrafter where name := `CanonicalDrafter defaultTargets := #["canonicaldrafter-wrapper"] supportInterpreter := true require mathlib from...

when I switch to linux the error is gone but i still get a elaboration issue: ``` (base) neuman@Neuman:/mnt/c/Users/pufre/Downloads/CodingProjects/CanonicalDrafter$ python canonical_repl_broken_mwe.py {'messages': [{'severity': 'error', 'pos': {'line': 3, 'column': 22}, 'endPos':...

yee ``` (base) neuman@Neuman:/mnt/c/Users/pufre/Downloads/CodingProjects/CanonicalDrafter$ lake exe repl { "cmd" : "import Canonical" } uncaught exception: {"message": "Could not parse JSON:\noffset 27: unexpected character in object"} ```