Mercurial > urweb

comparison src/mono_opt.sml @ 1465:2f5fd248588d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents 36f7d1debb37
children 8fce85939259
comparison
equal deleted inserted replaced
1464:969b90b1f2f9 1465:2f5fd248588d
433 (if Settings.checkMime s then 433 (if Settings.checkMime s then
434 () 434 ()
435 else 435 else
436 ErrorMsg.errorAt loc ("Invalid string " ^ s ^ " passed to 'blessMime'"); 436 ErrorMsg.errorAt loc ("Invalid string " ^ s ^ " passed to 'blessMime'");
437 se) 437 se)
438 | EFfiApp ("Basis", "checkMime", [(se as EPrim (Prim.String s), loc)]) =>
439 (if Settings.checkMime s then
440 ESome ((TFfi ("Basis", "string"), loc), (se, loc))
441 else
442 ENone (TFfi ("Basis", "string"), loc))
443 | EFfiApp ("Basis", "blessRequestHeader", [(se as EPrim (Prim.String s), loc)]) =>
444 (if Settings.checkRequestHeader s then
445 ()
446 else
447 ErrorMsg.errorAt loc ("Invalid string " ^ s ^ " passed to 'blessRequestHeader'");
448 se)
449 | EFfiApp ("Basis", "checkRequestHeader", [(se as EPrim (Prim.String s), loc)]) =>
450 (if Settings.checkRequestHeader s then
451 ESome ((TFfi ("Basis", "string"), loc), (se, loc))
452 else
453 ENone (TFfi ("Basis", "string"), loc))
454 | EFfiApp ("Basis", "blessResponseHeader", [(se as EPrim (Prim.String s), loc)]) =>
455 (if Settings.checkResponseHeader s then
456 ()
457 else
458 ErrorMsg.errorAt loc ("Invalid string " ^ s ^ " passed to 'blessResponseHeader'");
459 se)
460 | EFfiApp ("Basis", "checkResponseHeader", [(se as EPrim (Prim.String s), loc)]) =>
461 (if Settings.checkResponseHeader s then
462 ESome ((TFfi ("Basis", "string"), loc), (se, loc))
463 else
464 ENone (TFfi ("Basis", "string"), loc))
438 465
439 | EFfiApp ("Basis", "checkString", [(EPrim (Prim.String s), loc)]) => 466 | EFfiApp ("Basis", "checkString", [(EPrim (Prim.String s), loc)]) =>
440 let 467 let
441 fun uwify (cs, acc) = 468 fun uwify (cs, acc) =
442 case cs of 469 case cs of