Mercurial > urweb

diff src/corify.sml @ 147:eb16f2aadbe9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Meta-programming forms
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 18:46:04 -0400
parents 80ac94b54e41
children 7420fa18d657
line wrap: on
line diff
--- a/src/corify.sml	Tue Jul 22 18:20:13 2008 -0400
+++ b/src/corify.sml	Tue Jul 22 18:46:04 2008 -0400
@@ -488,7 +488,7 @@
                              case sgi of
                                  L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) =>
                                  (case (#1 dom, #1 ran) of
-                                      (L.TRecord _,
+                                      (L.TRecord (L.CRecord (_, []), _),
                                        L.CApp
                                            ((L.CApp
                                                  ((L.CApp ((L.CModProj (_, [], "xml"), _),