RE: Datatype test cases: important ones (please have a look)

>
> then there is no suggestion that the process has to generate the infinity
> of values, only that it needs to be able tell when two lexical
> forms it is
> given denote the same value.

Hence my proposal that we do not approve any test cases involving a typed
literal on the RHS which is not in canonical form.

Jeremy