http://d.puremagic.com/issues/show_bug.cgi?id=5906
--- Comment #8 from [email protected] 2013-03-07 12:15:52 PST --- (In reply to comment #7) > This can be done by converting precondition bodies to expressions then > const-folding them. Non-trivial, but possible. Thank you for the note, that seems better than having nothing. > This only makes sense if we define violating a function's precondition as > invalid code. This seems OK. What are possible downsides of this? -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
