Mercurial > urweb

comparison src/monoize.sml @ 2047:6be31671911b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'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),