[sc34wg3] TMCL and MAX_INT

[Lars Marius Garshol]

* Lars Heuer
>
> I wonder if TMCL could use a mixture of integers and, let's say,
> doubles. It would be possible to specify a range with integers and
> doubles. If the fractional part of a double is not zero, the TMCL
> processor throws an error. This would make values like "1.23" invalid.

This would be necessary, yes. Unfortunately, TMCL cannot specify a  
combined datatype, so we would not be able to constrain the datatype  
of the card-min and card-max occurrences in the TMCL schema for TMCL.  
(That schema will be normative, and necessary to define the allowed  
structure of TMCL schemas.)

You are right that this will work, and that it will provide us with a  
literal (Inf) for unconstrained cardinality, provided that CTM is  
extended to support this literal. (The current draft doesn't support  
it.)

--Lars M.
http://www.garshol.priv.no/blog/
http://www.garshol.priv.no/tmphoto/