diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-12 11:08:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-12 11:08:00 -0400 |
| commit | 6857918cbca4b1dda5bf378bcacb5dea4f5b5724 (patch) | |
| tree | d4d5c202be4912da6d99166ecc5d1de3413f4c93 /src/corify.sml | |
| parent | 64f0edf6a5db26ed8f872e18a43416cce7fcbab8 (diff) | |
hello compiles with CSS
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/corify.sml b/src/corify.sml index 1a5bab06..d0fc6200 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -923,10 +923,11 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = ran' as (L.CApp ((L.CApp - ((L.CApp ((L.CModProj (basis', [], "xml"), _), - (L.CRecord (_, [((L.CName "Html", _), - _)]), _)), _), _), - _), _), _))) => + ((L.CApp + ((L.CApp ((L.CModProj (basis', [], "xml"), _), + (L.CRecord (_, [((L.CName "Html", _), + _)]), _)), _), _), + _), _), _), _), _))) => let val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), |