Mercurial > urweb
comparison src/monoize.sml @ 2047:6be31671911b
'aria-*' attributes
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 01 Aug 2014 11:43:44 -0400 |
parents | dfa35ca83d92 |
children | 4d64af730e35 |
comparison
equal
deleted
inserted
replaced
2046:ced78ef1c82f | 2047:6be31671911b |
---|---|
233 | L.CFfi ("Basis", "css_style") => (L'.TFfi ("Basis", "string"), loc) | 233 | L.CFfi ("Basis", "css_style") => (L'.TFfi ("Basis", "string"), loc) |
234 | L.CFfi ("Basis", "id") => (L'.TFfi ("Basis", "string"), loc) | 234 | L.CFfi ("Basis", "id") => (L'.TFfi ("Basis", "string"), loc) |
235 | L.CFfi ("Basis", "requestHeader") => (L'.TFfi ("Basis", "string"), loc) | 235 | L.CFfi ("Basis", "requestHeader") => (L'.TFfi ("Basis", "string"), loc) |
236 | L.CFfi ("Basis", "responseHeader") => (L'.TFfi ("Basis", "string"), loc) | 236 | L.CFfi ("Basis", "responseHeader") => (L'.TFfi ("Basis", "string"), loc) |
237 | L.CFfi ("Basis", "envVar") => (L'.TFfi ("Basis", "string"), loc) | 237 | L.CFfi ("Basis", "envVar") => (L'.TFfi ("Basis", "string"), loc) |
238 | L.CFfi ("Basis", "data_attr_kind") => (L'.TFfi ("Basis", "string"), loc) | |
238 | L.CFfi ("Basis", "data_attr") => (L'.TFfi ("Basis", "string"), loc) | 239 | L.CFfi ("Basis", "data_attr") => (L'.TFfi ("Basis", "string"), loc) |
239 | 240 |
240 | L.CApp ((L.CFfi ("Basis", "serialized"), _), _) => | 241 | L.CApp ((L.CFfi ("Basis", "serialized"), _), _) => |
241 (L'.TFfi ("Basis", "string"), loc) | 242 (L'.TFfi ("Basis", "string"), loc) |
242 | 243 |
3120 in | 3121 in |
3121 ((L'.EStrcat (s1, (L'.EStrcat ((L'.EPrim (Prim.String " "), loc), s2), loc)), loc), | 3122 ((L'.EStrcat (s1, (L'.EStrcat ((L'.EPrim (Prim.String " "), loc), s2), loc)), loc), |
3122 fm) | 3123 fm) |
3123 end | 3124 end |
3124 | 3125 |
3125 | L.EFfiApp ("Basis", "data_attr", [(s1, _), (s2, _)]) => | 3126 | L.EFfi ("Basis", "data_kind") => ((L'.EPrim (Prim.String "data-"), loc), fm) |
3126 let | 3127 | L.EFfi ("Basis", "aria_kind") => ((L'.EPrim (Prim.String "aria-"), loc), fm) |
3128 | |
3129 | L.EFfiApp ("Basis", "data_attr", [(sk, _), (s1, _), (s2, _)]) => | |
3130 let | |
3131 val (sk, fm) = monoExp (env, st, fm) sk | |
3127 val (s1, fm) = monoExp (env, st, fm) s1 | 3132 val (s1, fm) = monoExp (env, st, fm) s1 |
3128 val (s2, fm) = monoExp (env, st, fm) s2 | 3133 val (s2, fm) = monoExp (env, st, fm) s2 |
3129 in | 3134 in |
3130 ((L'.EStrcat ((L'.EPrim (Prim.String "data-"), loc), | 3135 ((L'.EStrcat (sk, |
3131 (L'.EStrcat ((L'.EFfiApp ("Basis", "blessData", [(s1, (L'.TFfi ("Basis", "string"), loc))]), loc), | 3136 (L'.EStrcat ((L'.EFfiApp ("Basis", "blessData", [(s1, (L'.TFfi ("Basis", "string"), loc))]), loc), |
3132 (L'.EStrcat ((L'.EPrim (Prim.String "=\""), loc), | 3137 (L'.EStrcat ((L'.EPrim (Prim.String "=\""), loc), |
3133 (L'.EStrcat ((L'.EFfiApp ("Basis", "attrifyString", [(s2, (L'.TFfi ("Basis", "string"), loc))]), loc), | 3138 (L'.EStrcat ((L'.EFfiApp ("Basis", "attrifyString", [(s2, (L'.TFfi ("Basis", "string"), loc))]), loc), |
3134 (L'.EPrim (Prim.String "\""), loc)), loc)), | 3139 (L'.EPrim (Prim.String "\""), loc)), loc)), |
3135 loc)), loc)), loc), | 3140 loc)), loc)), loc), |