Mercurial > urweb

diff src/monoize.sml @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents 9f67aac13cf7
children c5a3d223f157
line wrap: on
line diff
--- a/src/monoize.sml	Tue Oct 21 15:11:42 2008 -0400
+++ b/src/monoize.sml	Tue Oct 21 16:41:11 2008 -0400
@@ -916,7 +916,7 @@
                  end
                | _ => poly ())
 
-          | L.ECApp ((L.ECApp ((L.EFfi ("Basis", "update"), _), changed), _), _) =>
+          | L.ECApp ((L.ECApp ((L.EFfi ("Basis", "update"), _), _), _), changed) =>
             (case monoType env (L.TRecord changed, loc) of
                  (L'.TRecord changed, _) =>
                  let