Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-08 16:59:11 -0700 (Tue, 08 May 2001)
Revision: 3223
Log message:
Finally, I am able to commit what I was getting to
in all these commits over the last several days.
I changed the parser to index declared opnames by its "shape" -
last string of opname + parameter types + subterm arities
instead of just the last string (as it used to be). This means that
the parser now checks whether the usage of an opname corresponds
to its declaration. This allowed me to detect numerous typos in
display forms and even some rules and rewrites and, hopefully,
will prevent people from making such typos in the future.
This is only the first pass of the implementation. I still need to:
- make sure none of my fixes broke any display forms that used to work
because of typos cancelling each other
- update the documentation
- implement checking of shapes on the opnames specified using the
Module!name notation (currently no checking is done on such opnames)