annotate tests/onerrorE.ur @ 1820:3c56aa6a0f55

Reduce default inlining thresholds; improve a let-substitution optimization to compensate
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Sep 2012 07:35:48 -0400
parents b4480a56cab7
children
rev   line source
adam@1294 1 fun err x = return <xml><body>
adam@1294 2 <h1>Bad thing!</h1>
adam@1294 3
adam@1294 4 {x}
adam@1294 5 </body></xml>