Re: M0030 -- Level 1 constructors
John Pryce replied:
> Extended reals do exist at Level 1, ...
He is right, and I should have checked Motion 2 first.
> So I'm perfectly relaxed with my text as it is.
So am I, now.
> Would you argue "characters don't exist at Level 1, therefore
> one cannot use a text string as argument to a constructor"?
> The two cases are essentially equivalent.
Different story. At level 1 strings would not be made up of
characters. But my second point was that text strings are
NOT level 1 objects, and I just verified that they are not
mentioned in Motion 2.
Michel.
---Sent: 2011-12-03 23:10:38 UTC