search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

Throw user error on `#mod_use` syntax #35

Open ignaden opened 3 years ago

ewenmaclean commented 3 years ago

@c-cube for info what's happening is a file

#use "a.iml;;
let x = 0;;

for example (anything with #) doesn't error but seemingly fails to parse the rest of the file. I am looking into it but think it's related to the reader extension itself here:

https://github.com/AestheticIntegration/imandra-merlin/blob/master/src/imandra_merlin_ocaml.ml

but I may well be wrong

ewenmaclean commented 3 years ago

Fixed in

https://github.com/AestheticIntegration/imandra/pull/1090

can close once approved and merged