idris-0.9.14: test/reg029/reg029.idr

module Main

import System

-- necessary to find the getenv symbol
%dynamic "libm"

main : IO ()
main = do
  print !(getEnv "IDRIS_REG029_NONEXISTENT_VAR")
  print !(getEnv "IDRIS_REG029_EXISTENT_VAR")