i.e. using, in error, c2 = Compl instead of the correct c2 : Compl.
The error message is this:
record type expected for: v
instead of the inferred: {s : Agr => Str; lock_VPS : {};
sc : NPForm} ** {c2 = {s : Str; c : NPForm; isPre : Bool}}
All information is there, it is even showing the misplaced = in the message, but it's confusing because it says "record type expected" and then showing something that looks very much like a record, except for that one character. A better error message would point out the = sign and suggest a colon.
Here's a typical error when creating some lincat:
i.e. using, in error,
c2 = Complinstead of the correctc2 : Compl.The error message is this:
All information is there, it is even showing the misplaced
=in the message, but it's confusing because it says "record type expected" and then showing something that looks very much like a record, except for that one character. A better error message would point out the=sign and suggest a colon.