Mercurial > urweb
view tests/nomangle.ur @ 2196:100352dbae36
Fix tricky case of functor signature subsumption
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 27 Nov 2015 15:28:12 -0500 |
parents | f55b0e45422f |
children |
line wrap: on
line source
table foo : { Bar : int, Baz : string } PRIMARY KEY Baz fun main () : transaction page = rs <- queryX1 (SELECT foo.Bar FROM foo WHERE foo.Baz = 'Hi') (fn r => <xml>{[r.Bar]}</xml>); return <xml><body>{rs}</body></xml>