My opinion is that the compiler should report any assumptions and preconditions it can't prove (quickly), without stopping the build. It would be up to the developer to either ignore the report, or refactor the code/conditions appropriately. In the worst case, you have an explicit list of claims you expect to be true, which is still much better than most languages.
Yeah, this sounds reasonable. M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
