#650 Improve error message for wrong use of type

3.0
open
None
3
2013-04-02
2013-04-02
No

When checking the attached context (submitted today by Vlad Gheorghe on the user mailing list), the current 3.0 static checker produces the error messages "Insufficient information to determine all types" and "Internal error" twice on the second axiom. These messages must be improved to pin-point that it is the expression "∅ ⦂ B↔B" which is ill-typed, as "B" does not denote a type.

1 Attachments

Discussion


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks