[sc34wg3] CTM: Specifying datatypes

[Lars Heuer]

[...]
> Anyway, I am still not convinced that the datatype-proposal belongs to
> CTM without having defined a more truthful translation between
> datatypes.

According to [1] page no. 28 the committee tends to the opinion that
CTM should not allow this abbreviation. Since I agree with the
committee I won't add this shortcut to the next CTM draft. I think the
benefit is quite low and I'd have too many open questions if we'd
allow this kind of translation.

[1] <http://www.itscj.ipsj.or.jp/sc34/open/1192.pdf>


Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>