Cannot load *.lcurry file if a *.curry file with the same name exists
If I have a directory with two files Test.curry
and Test.lcurry
and like to explicitly load the literate file (e.g. kics2 :load Test.lcurry
), the other file is always preferred.
In my case, I started with Test.curry
and then decided that a literate files make more sense. Of course, this wouldn't have happened, if I'd just renamed the file instead of creating a new one.
As a matter of fact, pakcs behaves the same. So I guess this is a feature ; )
Edited by Sandra Dylus