The following RSL program produces the error output that follows:

    obj X
	ops:
	    G(X,X)->Y;
    end;

    obj F is op(X,Y)->(Z);

    op O()->F =
    begin
	x := lambda(X,Y)->(Z)=10;
    end;

    op O2()->x:integer =
    begin
	x := lambda(X,Y)->Z=10(x,y);
    end;

    op O2a()->integer =
    begin
	var x,y: integer;
	var z: real;
	x := 1;
	y := 2;
	return lambda(X,Y)->Z=10(x,y);
    end;

    op O3()->() = (1 ; 2 ; 3);


Error log:

    File X.rsl, line 10, char 28:
		syntax error.
    File X.rsl, line 15, char 25:
		syntax error.
    File X.rsl, line 24, char 27:
		syntax error.



Here's another example pair:

  and-or.rsl:
    obj x is a or b and c or d;
    obj y is (a or b) and (c or d);

  Error log:
    File and-or.rsl, line 1, char 9:
	Component a not defined.
    File and-or.rsl, line 1, char 14:
	Component b not defined.
    File and-or.rsl, line 1, char 20:
	Component c not defined.
    File and-or.rsl, line 1, char 25:
	Component d not defined.
    File and-or.rsl, line 2, char 11:
	Component a not defined.
    File and-or.rsl, line 2, char 16:
	Component b not defined.
    File and-or.rsl, line 2, char 24:
	Component c not defined.
    File and-or.rsl, line 2, char 29:
	Component d not defined.