PlasmaLang / plasma

Plasma Programming Language
Other
162 stars 10 forks source link

module name not in BUILD.plz #438

Closed PaulBone closed 1 year ago

PaulBone commented 2 years ago

The compiler can crash when the module name in the file and the BUILD.plz don't match. For example. here the file name is: ho_call_bug_30.p The module name in that file is HoCallBug30 The module listed in BUILD.plz is HOCallBug30.

/home/paul/.local/bin/plzc  --mode make-depends                 --target-file HOCallBug30.pzo --import-whitelist include_whitelist.txt          --source-path ../               ../ho_call_bug_30.p -o HOCallBug30.dep
The Plasma compiler has crashed due to a bug (an assertion failure or
unhandled state). Please make a bug report. Sorry.
Message:            util.mercury.m: function `util.mercury.power_intersect_list'/1: Unexpected: Answer is infinite