diff src/corify.sml @ 719:5c099b1308ae

hello compiles with CSS
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 11:08:00 -0400
parents f152f215a02c
children acb8537f58f0
line wrap: on
line diff
--- a/src/corify.sml	Sun Apr 12 10:08:11 2009 -0400
+++ b/src/corify.sml	Sun Apr 12 11:08:00 2009 -0400
@@ -923,10 +923,11 @@
                                                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),