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)