2667a2668,2669
>     File bnf-v3.rsl, line 13, char 14:
> 	Expr is an object type, not a value.
2862a2865,2885
> Checking module Main
>   Checking object GreatGreatGrandParent
>   Checking object GreatGrandParent
>   Checking object GrandParent
>   Checking object Parent
>   Checking object Child
>     File class-op-tst.rsl, line 5, char 5:
> 	Multiple inheritance not yet supported.
>   Checking object Sibling
>     File class-op-tst.rsl, line 6, char 5:
> 	Parent class X not defined.
>   Checking object GrandChild
>   Checking operation MessWithObjects
>     File class-op-tst.rsl, line 12, char 7:
> 	Left operand of ?< is not of a subclassable type.
>     File class-op-tst.rsl, line 14, char 10:
> 	Right operand of ?< is not a subtype of the left operand.
>     File class-op-tst.rsl, line 15, char 7:
> 	Right operand of ?< is not a subtype of the left operand.
>     File class-op-tst.rsl, line 16, char 10:
> 	Right operand of ?< is not a type name.
4597a4621,4761
> Checking module Main
>   Checking object GreatGreatGrandParent
>   Checking object GreatGrandParent
>   Checking object GrandParent
>   Checking object Parent
>   Checking object Child
>     File inheritance-tst.rsl, line 5, char 5:
> 	Multiple inheritance not yet supported.
>   Checking object Sibling
>     File inheritance-tst.rsl, line 6, char 5:
> 	Parent class X not defined.
>   Checking object GrandChild
>   Checking operation MessWithObjects
>     File inheritance-tst.rsl, line 37, char 7:
> 	ggp1 is not a field of the tuple or union on the left of the '.'
>   Checking operation MessWithObjects
>     File inheritance-tst.rsl, line 69, char 7:
> 	ggp1 is not a field of the tuple or union on the left of the '.'
>   Checking object GrandChild2
>   Checking object Sibling2
>     File inheritance-tst.rsl, line 73, char 5:
> 	Parent class X not defined.
>   Checking object Child2
>     File inheritance-tst.rsl, line 74, char 5:
> 	Multiple inheritance not yet supported.
>   Checking object Parent2
>   Checking object GrandParent2
>   Checking object GreatGrandParent2
>   Checking object GreatGreatGrandParent2
>   Checking operation MessWithObjectsBogus
>     File inheritance-tst.rsl, line 84, char 14:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 85, char 14:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 86, char 14:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 88, char 13:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 89, char 13:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 90, char 13:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 91, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 93, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 94, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 95, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 96, char 11:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 97, char 10:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 98, char 10:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 100, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 101, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 102, char 12:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 103, char 11:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 104, char 10:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 105, char 10:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 106, char 10:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 107, char 10:
> 	Incompatible operand types in an equality expr.
>     File inheritance-tst.rsl, line 109, char 7:
> 	ggp1 is not a field of the tuple or union on the left of the '.'
>   Checking object X0
>   Checking object X1
>     File inheritance-tst.rsl, line 114, char 5:
> 	Inherited component named x already defined.
>   Checking object X2
>     File inheritance-tst.rsl, line 115, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 115, char 5:
> 	Inherited component named x already defined.
>   Checking object X3
>     File inheritance-tst.rsl, line 116, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 116, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 116, char 5:
> 	Inherited component named x already defined.
>   Checking object X4
>     File inheritance-tst.rsl, line 117, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 117, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 117, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 117, char 5:
> 	Inherited component named x already defined.
>   Checking object X5
>     File inheritance-tst.rsl, line 118, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 118, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 118, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 118, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 118, char 5:
> 	Inherited component named x already defined.
>   Checking object X6
>     File inheritance-tst.rsl, line 119, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 119, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 119, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 119, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 119, char 5:
> 	Inherited component named x already defined.
>     File inheritance-tst.rsl, line 119, char 5:
> 	Inherited component named x already defined.
>   Checking object C
>     File inheritance-tst.rsl, line 122, char 5:
> 	Circularity detected in inheritance chain.
>   Checking object C1
>     File inheritance-tst.rsl, line 123, char 5:
> 	Circularity detected in inheritance chain.
>   Checking object C2
>     File inheritance-tst.rsl, line 124, char 5:
> 	Circularity detected in inheritance chain.
>   Checking object C3
>     File inheritance-tst.rsl, line 125, char 5:
> 	Circularity detected in inheritance chain.
>   Checking object C4
>     File inheritance-tst.rsl, line 126, char 5:
> 	Circularity detected in inheritance chain.
>   Checking object C5
>     File inheritance-tst.rsl, line 127, char 5:
> 	Circularity detected in inheritance chain.
8088a8253,8256
>     File sample-demo-code.rsl, line 8, char 18:
> 	DrawRect is undefined.
>     File sample-demo-code.rsl, line 12, char 18:
> 	DrawRect is undefined.
8181a8350,8391
> Checking module Main
>   Checking object GenericDatabase
>   Checking object Elem
>   Checking object Name
>   Checking object Id
>   Checking object Age
>   Checking object WhatsIt
>   Checking object WhatsIt2
>   Checking operation AddRecord
>     File short-forms.rsl, line 12, char 14:
> 	Type GenericDB is not defined.
>     File short-forms.rsl, line 12, char 24:
> 	Type Record is not defined.
>     File short-forms.rsl, line 12, char 34:
> 	Type GenericDB is not defined.
>   Checking operation DelRecord
>     File short-forms.rsl, line 13, char 14:
> 	Type GenericDB is not defined.
>     File short-forms.rsl, line 13, char 32:
> 	Type GenericDB is not defined.
>   Checking operation UpdateRecord
>     File short-forms.rsl, line 14, char 17:
> 	Type GenericDB is not defined.
>     File short-forms.rsl, line 14, char 35:
> 	Type GenericDB is not defined.
>   Checking object foo
>   Checking object foo1
>   Checking object C
>   Checking object C1
>     File short-forms.rsl, line 45, char 5:
> 	Multiple inheritance not yet supported.
>   Checking object N
>   Checking object M
>   Checking operation F1
>   Checking operation F2
>   Checking operation F3
>   Checking operation F4
>   Checking operation F10
>   Checking operation F100
>   Checking object F100O
>   Checking object Foo
>   Checking object Foo'
14427,14428d14636
< 355a356
< > Bus error
14431,14450d14638
< 14c14
< < -2147483639
< ---
< > -2147483638
< 38c38
< < 2147483639
< ---
< > 2147483640
< 80c80
< < 1.26178e+006
< ---
< > 1.26178e+06
< 150c150
< < -8
< ---
< > -7
< 210c210
< < -2147483648
< ---
< > -2147483647