DATE	STATUS	DESCRIPTION
===============================================================================

30oct94	BUG	Apparently the suchthat expr is not being fully type checked,
		since undecl'd ident refs are not being caught therein.  See
		tests/f1.rsl.

	BUG	The following error message appears to be bogus:

		    File generics-old-ideas.rsl, line 38, char 52:
			Identfier key is not a type.

		Check it out.

	FIXED	There may a bug in looking up in large specs.  A specific
		example is the lookup errors reported for UserWeightInput on
		lines 1079 and 1091 of obj-ops.rsl.

		FIX: It wasnt with big specs, it was with entering obj defs of
		the form

		    obj O is x:y

		since BuildNameTypePairType was entering x for the type name of
		O instead of y.  This is due to the known "problem" of how
		name/type pairs are built.

31oct94	BUG	In long output, some lines appear to be truncated and/or lost.
		See, e.g., ouput tests/obj-ops.rsl, where the line starting
		"Checking operation BuildSectionRo" appears to be chopped.

5nov94	BUG	"Left operand of '.' ..." message has inaccurate char pos.  It
		appears to be off by one operaator to the left.  See, e.g.,
		tests/tuple-tst.rsl.

13nov94	BUG	Structural compat does not work as it should.

14nov94	FIXED	Field names get lost in decls of the form:

			obj X is a:A* and b:B*

29nov94	BUG	Fix char pos going negative.  See, e.g.,
		tests/col-number-prob.rsl.

16jun95	BUG	Name of op parent class apparently not being type checked.
		E.g., the following works, even if Garbage is not a def'd op:

			op Op < Garbage;