[sc34wg3] TMCL and MAX_INT

Lars Marius Garshol larsga at garshol.priv.no
Tue Feb 24 04:51:00 EST 2009

* 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  

--Lars M.

More information about the sc34wg3 mailing list