MKR/Mtriple syntax error messages

MKE now uses the Merr error message system
which was developed for the Unicon compiler.
The yyerror() procedure prints

    file name
    line number
    input token pattern or specific error message

The specific error messages can make it very easy
to correct your errors.  

For example, if you want to use Mtriples and you enter

    kformat = mtriple;

MKE will tell you to use ":=" instead of "=".
The "old" format {set kformat = mtriple;} is also
accepted.

For an MKR example, suppose that you declare a set of
people by entering

    x isu set of person;

MKE will tell you to use "Set" instead of "set" 
(because "set" is a verb in MKR).

If you have any examples which you think should 
have better error messages, just email them to me.

Don't forget that the MKE system includes "ksc", 
the knowledge syntax checker.  "ksc" is much smaller
and faster than "ke", and it also uses Merr.
"ksc" is suitable for quick interactive experiments 
to determine how to express your ideas in MKR.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/

Received on Monday, 26 September 2005 04:25:49 UTC