Mercurial > urweb

comparison src/mono_opt.sml @ 2206:c1a62ce47083

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents 93ff76058825
children 4d64af730e35
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
116 in 116 in
117 doChars (String.explode s, []) 117 doChars (String.explode s, [])
118 end 118 end
119 119
120 fun checkUrl s = CharVector.all Char.isGraph s andalso Settings.checkUrl s 120 fun checkUrl s = CharVector.all Char.isGraph s andalso Settings.checkUrl s
121 val checkData = CharVector.all (fn ch => Char.isAlphaNum ch
122 orelse ch = #"_"
123 orelse ch = #"-")
121 val checkAtom = CharVector.all (fn ch => Char.isAlphaNum ch 124 val checkAtom = CharVector.all (fn ch => Char.isAlphaNum ch
122 orelse ch = #"+" 125 orelse ch = #"+"
123 orelse ch = #"-" 126 orelse ch = #"-"
124 orelse ch = #"." 127 orelse ch = #"."
125 orelse ch = #"%" 128 orelse ch = #"%"
440 ERecord [] 443 ERecord []
441 444
442 | ESignalBind ((ESignalReturn e1, loc), e2) => 445 | ESignalBind ((ESignalReturn e1, loc), e2) =>
443 optExp (EApp (e2, e1), loc) 446 optExp (EApp (e2, e1), loc)
444 447
448 | EFfiApp ("Basis", "blessData", [((se as EPrim (Prim.String s), loc), _)]) =>
449 (if checkData s then
450 ()
451 else
452 ErrorMsg.errorAt loc ("Invalid HTML5 data-* attribute " ^ s);
453 se)
454
445 | EFfiApp ("Basis", "bless", [((se as EPrim (Prim.String s), loc), _)]) => 455 | EFfiApp ("Basis", "bless", [((se as EPrim (Prim.String s), loc), _)]) =>
446 (if checkUrl s then 456 (if checkUrl s then
447 () 457 ()
448 else 458 else
449 ErrorMsg.errorAt loc ("Invalid URL " ^ s ^ " passed to 'bless'"); 459 ErrorMsg.errorAt loc ("Invalid URL " ^ s ^ " passed to 'bless'");