kevinlawler / kona

Open-source implementation of the K programming language
ISC License
1.36k stars 139 forks source link

'file not found' error due to missing .k extension #520

Open DennisMitchell opened 6 years ago

DennisMitchell commented 6 years ago

Since https://github.com/kevinlawler/kona/issues/507 got closed, Kona script files need a .k extension, and ./k <basename> automatically appends the extension to basename if it's not present.

For files without the extension, this causes a rather confusing error message to be printed.

$ ./k helloworld
helloworld: file not found
$ ls helloworld
helloworld

One solution would be to print the modified filename instead.

$ ./k helloworld
helloworld.k: file not found