Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
402:ebf27030ae3b 403:8084fa9216de
914 sc ")"]), loc)), loc), 914 sc ")"]), loc)), loc),
915 fm) 915 fm)
916 end 916 end
917 | _ => poly ()) 917 | _ => poly ())
918 918
919 | L.ECApp ((L.ECApp ((L.EFfi ("Basis", "update"), _), changed), _), _) => 919 | L.ECApp ((L.ECApp ((L.EFfi ("Basis", "update"), _), _), _), changed) =>
920 (case monoType env (L.TRecord changed, loc) of 920 (case monoType env (L.TRecord changed, loc) of
921 (L'.TRecord changed, _) => 921 (L'.TRecord changed, _) =>
922 let 922 let
923 val s = (L'.TFfi ("Basis", "string"), loc) 923 val s = (L'.TFfi ("Basis", "string"), loc)
924 val changed = map (fn (x, _) => (x, s)) changed 924 val changed = map (fn (x, _) => (x, s)) changed