Idris2-boot icon indicating copy to clipboard operation
Idris2-boot copied to clipboard

INTERNAL ERROR: build/ttc/Test.ttc: File Not Found

Open gallais opened this issue 5 years ago • 0 comments

Very easy to reproduce this internal error:

touch Test
idris2 Test

gives us:

Uncaught error: INTERNAL ERROR: build/ttc/Test.ttc: File Not Found

gallais avatar Apr 04 '20 08:04 gallais