Re: type checking in EUPHORIA
- Posted by mattlewis (admin) Sep 17, 2012
- 1224 views
SDPringle said...
SDPringle said...
I am leaning towards the idea that when there is a single literal or variable as an argument rather than an more complex instruction, we should only ones that belong to that enumerated type.
Shawn Pringle
Currently in the alternative_literals branch, if you use something that is not a value from an enumerated type, checking is skipped. Maybe that's not the best idea.
The major drawback that I can see here is that I think it would prevent you from directly passing a value as returned from a function (even if the function correctly returns the correct thing). Or if you stored the enum into a sequence, and then pulled it out later and passed it to a function.
Matt
