diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-22 18:46:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-22 18:46:04 -0400 |
| commit | 6c5b16aa47eeb84d5f6ee9fc6cb265424e63f74c (patch) | |
| tree | 51ff2855edcd09b36ce549bdb2bf91cd4d2c5caa /src/corify.sml | |
| parent | cedc70524a84b860f438078c8abc6f1aa0557994 (diff) | |
Meta-programming forms
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index 0b0e9787..30b4a7df 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -488,7 +488,7 @@ fun corifyDecl ((d, loc : EM.span), st) = 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"), _), |