Mercurial > urweb

comparison src/monoize.sml @ 775:a8bdd5a0d9b0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
css demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 12:36:25 -0400
parents 7f653298dd66
children 87a7702d681d
comparison
equal deleted inserted replaced
774:412ccd97ab71 775:a8bdd5a0d9b0
809 val t = monoType env t 809 val t = monoType env t
810 in 810 in
811 ((L'.EAbs ("r", numTy t, (L'.TFun (t, (L'.TFun (t, t), loc)), loc), 811 ((L'.EAbs ("r", numTy t, (L'.TFun (t, (L'.TFun (t, t), loc)), loc),
812 (L'.EField ((L'.ERel 0, loc), "Times"), loc)), loc), fm) 812 (L'.EField ((L'.ERel 0, loc), "Times"), loc)), loc), fm)
813 end 813 end
814 | L.ECApp ((L.EFfi ("Basis", "div"), _), t) => 814 | L.ECApp ((L.EFfi ("Basis", "divide"), _), t) =>
815 let 815 let
816 val t = monoType env t 816 val t = monoType env t
817 in 817 in
818 ((L'.EAbs ("r", numTy t, (L'.TFun (t, (L'.TFun (t, t), loc)), loc), 818 ((L'.EAbs ("r", numTy t, (L'.TFun (t, (L'.TFun (t, t), loc)), loc),
819 (L'.EField ((L'.ERel 0, loc), "Div"), loc)), loc), fm) 819 (L'.EField ((L'.ERel 0, loc), "Div"), loc)), loc), fm)