Mercurial > urweb
comparison src/prepare.sml @ 297:59dc042629b9
pquery working with all four types of columns
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 13:29:01 -0400 |
parents | 550100a44cca |
children | 52d4c60518d4 |
comparison
equal
deleted
inserted
replaced
296:5dc11235129d | 297:59dc042629b9 |
---|---|
58 let | 58 let |
59 val (e, sns) = prepExp (e, sns) | 59 val (e, sns) = prepExp (e, sns) |
60 in | 60 in |
61 ((ECon (dk, pc, SOME e), loc), sns) | 61 ((ECon (dk, pc, SOME e), loc), sns) |
62 end | 62 end |
63 | ENone t => (e, sns) | |
63 | ESome (t, e) => | 64 | ESome (t, e) => |
64 let | 65 let |
65 val (e, sns) = prepExp (e, sns) | 66 val (e, sns) = prepExp (e, sns) |
66 in | 67 in |
67 ((ESome (t, e), loc), sns) | 68 ((ESome (t, e), loc), sns) |