Mercurial > urweb

comparison src/monoize.sml @ 1573:34364e383bed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
For new IF, fix Monoize typing and add to manual
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Oct 2011 09:04:41 -0400
parents 5530a8075b62
children e44be6ece475
comparison
equal deleted inserted replaced
1572:5530a8075b62 1573:34364e383bed
2814 _), _)) => 2814 _), _)) =>
2815 let 2815 let
2816 val s = (L'.TFfi ("Basis", "string"), loc) 2816 val s = (L'.TFfi ("Basis", "string"), loc)
2817 fun sc s = (L'.EPrim (Prim.String s), loc) 2817 fun sc s = (L'.EPrim (Prim.String s), loc)
2818 in 2818 in
2819 ((L'.EAbs ("if", s, (L'.TFun (s, s), loc), 2819 ((L'.EAbs ("if", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc),
2820 (L'.EAbs ("then", s, (L'.TFun (s, s), loc), 2820 (L'.EAbs ("then", s, (L'.TFun (s, s), loc),
2821 (L'.EAbs ("else", s, (L'.TFun (s, s), loc), 2821 (L'.EAbs ("else", s, s,
2822 strcat [sc "(CASE WHEN (", 2822 strcat [sc "(CASE WHEN (",
2823 (L'.ERel 2, loc), 2823 (L'.ERel 2, loc),
2824 sc ") THEN (", 2824 sc ") THEN (",
2825 (L'.ERel 1, loc), 2825 (L'.ERel 1, loc),
2826 sc ") ELSE (", 2826 sc ") ELSE (",