2fe2eca · Idris-dev · git.iko.soy

idris.cabal+3

compare with master

unifiedsplit

@@ -177,6 +177,9 @@ Extra-source-files:

177 test/reg024/run

178 test/reg024/*.idr

179 test/reg024/expected

180+ test/reg029/run

181+ test/reg029/*.idr

182+ test/reg029/expected

180 test/test001/run

183 test/test001/run

181 test/test001/*.idr

184 test/test001/*.idr

182 test/test001/expected

185 test/test001/expected

test/README+1

@@ -37,4 +37,5 @@ Tests:

37

38regxxx: various regression tests

39reg020: working strlen

40+reg029: executor doesn’t crash receiving a NULL String from C

40

41

test/reg029/expectednew file+4

@@ -0,0 +1,4 @@

1+Nothing

2+Just "exists!"

3+Nothing

4+Just "exists!"

test/reg029/reg029.idrnew file+10

@@ -0,0 +1,10 @@

1+module Main

2+

3+import System

4+

5+%dynamic "libm"

6+

7+main : IO ()

8+main = do

9+ print !(getEnv "IDRIS_REG029_NONEXISTENT_VAR")

10+ print !(getEnv "IDRIS_REG029_EXISTENT_VAR")

test/reg029/runnew file+5

@@ -0,0 +1,5 @@

1+#!/usr/bin/env bash

2+idris $@ reg029.idr -o reg029

3+env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' ./reg029

4+env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' idris $@ reg029.idr --exec

5+rm -f reg029 *.ibc