From 9f8b222f6667f4e7dec2105ea4f5c2abdfd29dc9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 13:29:01 -0400 Subject: pquery working with all four types of columns --- src/prepare.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/prepare.sml') diff --git a/src/prepare.sml b/src/prepare.sml index f74b8747..a1dd0e79 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -60,6 +60,7 @@ fun prepExp (e as (_, loc), sns) = in ((ECon (dk, pc, SOME e), loc), sns) end + | ENone t => (e, sns) | ESome (t, e) => let val (e, sns) = prepExp (e, sns) -- cgit v1.2.3