Mercurial > urweb

comparison src/mono_opt.sml @ 1799:3d922a28370b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents e8c668e518fb
children 93ff76058825
comparison
equal deleted inserted replaced
1798:10a2cb93d175 1799:3d922a28370b
502 | EFfiApp ("Basis", "checkResponseHeader", [((se as EPrim (Prim.String s), loc), _)]) => 502 | EFfiApp ("Basis", "checkResponseHeader", [((se as EPrim (Prim.String s), loc), _)]) =>
503 (if Settings.checkResponseHeader s then 503 (if Settings.checkResponseHeader s then
504 ESome ((TFfi ("Basis", "string"), loc), (se, loc)) 504 ESome ((TFfi ("Basis", "string"), loc), (se, loc))
505 else 505 else
506 ENone (TFfi ("Basis", "string"), loc)) 506 ENone (TFfi ("Basis", "string"), loc))
507 | EFfiApp ("Basis", "blessEnvVar", [((se as EPrim (Prim.String s), loc), _)]) =>
508 (if Settings.checkEnvVar s then
509 ()
510 else
511 ErrorMsg.errorAt loc ("Invalid string " ^ s ^ " passed to 'blessEnvVar'");
512 se)
513 | EFfiApp ("Basis", "checkEnvVar", [((se as EPrim (Prim.String s), loc), _)]) =>
514 (if Settings.checkEnvVar s then
515 ESome ((TFfi ("Basis", "string"), loc), (se, loc))
516 else
517 ENone (TFfi ("Basis", "string"), loc))
507 518
508 | EFfiApp ("Basis", "checkString", [((EPrim (Prim.String s), loc), _)]) => 519 | EFfiApp ("Basis", "checkString", [((EPrim (Prim.String s), loc), _)]) =>
509 let 520 let
510 fun uwify (cs, acc) = 521 fun uwify (cs, acc) =
511 case cs of 522 case cs of