On Mon, Mar 14, 2005 at 04:15:35PM +0100, Thomas Sandlaß wrote: : Hmm, since "what is compile to you is runtime for the compiler" : it might by a normal store attempt that is then rejected by the object : and caught by the compiler---cool. Is there also an unchecked store : operation that can be used when the typechecker knows the assignment : is (type-)correct?
I think any routine with a fancy signature with potential run-time checking also has an entry that assumes the checking was done by the caller or the compiler. The trick will be to discourage people from bypassing the necessary type checking when they think they know better but don't really. Larry
