annotate tests/onerrorE.ur @ 1886:b7cd3c7c7edd

Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 15:14:23 -0500
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>