RE: IRI and URI comparisions (was Re: charmodReview-17, LC-k lyne 26, LC-kopecky5, LC-kopecky6, LC-booth3, LC-schema17)

> > > >   forall x,y in IRI: not( x==y ) => not( iriToUri(x) == iriToUri(x)
)
> > > >
> > > >   where == is character-by-character comparison.
> > >
> > > Well, I would, but I'm probably too used to this stuff to count :-).
> >   ^^^^^^^^^^^^^
> >
> >Oh... now you've surprised me...
> 
> I'm really sorry for the confusion. What I wanted to say was 
> that I would expect the current behavior.

Now that's a pity... you had me thinking that I'd won you round, just a
bit:-)

> Regards,   Martin.

Stuart