annotate tests/sigbug.ur @ 1633:deeeb036c8ed

Treat [naughtyDebug] as pure for optimization purposes
author Adam Chlipala <adam@chlipala.net>
date Mon, 05 Dec 2011 10:43:06 -0500
parents 60d438cdb3a5
children
rev   line source
adam@1590 1 val z = 3
adam@1590 2 val x = 1
adam@1590 3 val y = 2