Re: More questions about LSL syntax

     You note that the LSL Checker accepts the declarations

	test1: trait
	    __\and  : S -> S
	    = __    : S -> S

and ask what was the intention concerning logicalOp's and eqOp's.  The
intention was that logicalOp's should have the signature Bool,Bool->Bool and
that eqOp's should have the signature S,S->Bool for some sort S.  Your
observation has been entered on the list of bugs to be fixed in the LSL

     The tokenizer in the LSL Checker recognizes /\ as a single token as a
special case.  The fact that the LSL Checker does not recognize // or -/ as
simpleOp's has been entered on the list of LSL bugs.