Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Proposed disposition of comments



It occured to me that there may be another way out of the "com"-required
discrepancy:  Say that "com" always exists at Level 1!

Then a flavor that has no "com" decoration will map it to whatever it
deems appropriate when it takes the T-hull of the Level 1 result of
textToInterval().  This is just like the set-based flavor possibly
changing "com" to "dac" when the conversion overflows.

Michel.
---Sent: 2015-04-16 14:32:10 UTC