Absyn: use S.Symbol, Type: modified (==) for Type to use only 'unique' for RECORD and ARRAY.
test results.
test results.
add error report for a wrong argument size.
delete a trace for debug
new result for wrong number of arguments, and new additional test19b.
imported from http://www.cs.princeton.edu/~appel/modern/testcases/
not to ignore testcases/
additional test
fix a bug for test30, but without confidence ...
fix a bug for test30, but without confidence ...
temporary fix. I don't understand why transTy do not detect cyclic.
fix the order of expected and actual.
new additional tests
undated ressults
fixed a bug: interrupted decs should not depend mutually.
newly added: test17b
delete import Debug.Trace and untabify Parser.y
delete unused function: next.
memo.