I've recently run into a problem with a datatype whose operators are based on functions not marked IMMUTABLE. Although there might be good reasons to have such a thing, it seems like it might be a valuable warning message if you create an operator based on an non-IMMUTABLE function. Comments?
- Josh / eggyknap
signature.asc
Description: Digital signature