Mercurial > urweb
diff src/mono_reduce.sml @ 1214:648e6b087dfb
Change query_policy to sendClient; all arguments passed to SQL predicates are variables
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 08 Apr 2010 09:57:37 -0400 |
| parents | ae3036773768 |
| children | 950d1e540df6 |
line wrap: on
line diff
--- a/src/mono_reduce.sml Tue Apr 06 16:14:19 2010 -0400 +++ b/src/mono_reduce.sml Thu Apr 08 09:57:37 2010 -0400 @@ -423,18 +423,21 @@ | ERecord xets => List.concat (map (summarize d o #2) xets) | EField (e, _) => summarize d e - | ECase (e, pes, _) => summarize d e @ [Unsure] - (*let + | ECase (e, pes, _) => + let val lss = map (fn (p, e) => summarize (d + patBinds p) e) pes in case lss of [] => raise Fail "Empty pattern match" | ls :: lss => - if List.all (fn ls' => ls' = ls) lss then - summarize d e @ ls - else - [Unsure] - end*) + summarize d e + @ (if List.all (fn ls' => ls' = ls) lss then + ls + else if length (List.filter (not o List.null) (ls :: lss)) <= 1 then + valOf (List.find (not o List.null) (ls :: lss)) + else + [Unsure]) + end | EStrcat (e1, e2) => summarize d e1 @ summarize d e2 | EError (e, _) => summarize d e @ [Unsure]