KeliLanguage / compiler

The compiler for Keli
https://keli-language.gitbook.io/doc/specification/
Apache License 2.0
171 stars 1 forks source link

Importing from parent directory bug #54

Closed wongjiahau closed 5 years ago

wongjiahau commented 5 years ago

The following won't work even if the file exists:

= module.import("../Foo/A.keli")
= module.import("../Bar/B.keli")

= K // From B.Keli
wongjiahau commented 5 years ago

This bug is actually due to tagged union cannot be unified correctly