idris-0.9.17: test/reg029/reg029.idr

module Main

import System

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

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