comparison tests/relops.ur @ 1070:e933297c4e24

Tweaking SQL parsing and typing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 10:13:06 -0500
parents 645d0e8da643
children
comparison
equal deleted inserted replaced
1069:757397bb9609 1070:e933297c4e24
23 Nil => "Problem" 23 Nil => "Problem"
24 | Cons ({B = b, ...}, _) => b) 24 | Cons ({B = b, ...}, _) => b)
25 25
26 val main : unit -> transaction page = fn () => 26 val main : unit -> transaction page = fn () =>
27 s <- r2; 27 s <- r2;
28 return <html><body> 28 return <xml><body>
29 {cdata s} 29 {cdata s}
30 </body></html> 30 </body></xml>