fact inquiring questions
- Posted by kobi Apr 29, 2012
- 1363 views
Hi
A few questions inquiring facts.
1) when I create a type, with its constraints in the body, when will those constraints be checked?
will they be checked whenever an argument is passed to a function?
let's say I have an alphabet type, where all the sequence items should be between a..z
I then modify one of those items to integer -3.
it can be considered corrupted data now. will the next function check the type again, and assert the error? or is it internally marked as a certain type, so the (invariant) checking is only done at constructor time?
2) let's say i want to use a large library a few mb in size. but only 5 functions are needed from there.
can 'euc' link the library statically to the resulting exe, but without all the unused material?
Thanks alot! Kobi
