From 342c17de79e7624affa866ee9eab9027453ae99e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 2 Aug 2012 16:33:25 -0400 Subject: Basis.getenv --- tests/env.ur | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/env.ur (limited to 'tests/env.ur') diff --git a/tests/env.ur b/tests/env.ur new file mode 100644 index 00000000..637ea6b8 --- /dev/null +++ b/tests/env.ur @@ -0,0 +1,21 @@ +fun handler r = + vo <- getenv (blessEnvVar r.Nam); + return + {case vo of + None => Not set + | Some v => Set to: {[v]}} + + +fun main () : transaction page = + term <- getenv (blessEnvVar "TERM"); + return + TERM = {case term of + None => Nada + | Some v => txt v} + +
+ What would you like to know? + + + +
-- cgit v1.2.3