jump to def not working

imandra-ai / imandra-vscode

VSCode extension for developing imandra

Other

2 stars 0 forks source link

jump to def not working #20

Open ewenmaclean opened 5 years ago

ewenmaclean commented 5 years ago

possibly related to imandra-extract not producing correct .merlin files #21 - requires fairly urgent fix - weirdly looking for"/<filename>.iml" in current dir

c-cube commented 5 years ago

imandra-extract doesn't produce a .merlin at all, I'd say?

ewenmaclean commented 5 years ago

dune does and the dune setup uses imandra-extract to create the ml files which jump to def uses on the fix-engine repo - it used to work perfectly