search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Lightyear Tests segfaults. #13

Closed jfdm closed 10 years ago

jfdm commented 10 years ago

Using Idris HEAD (3c4bd14) and Lightyear HEAD (53c605) the lightyear tests seg fault.

$ make install && make test results in:

(cd tests; bash runtests.sh)
compiling lightyear tests...
compiled OK, running lightyear tests...
runtests.sh: line 18: 17864 Segmentation fault      timeout 5s ./test > output
* test failed or timed out *
make: *** [test] Error 1

Upon further exploration, I find that if main is executed in the REPL the tests succeed. If :exec is called the tests seg fault.

jfdm commented 10 years ago

This is an Idris problem. So closing the issue. See https://github.com/idris-lang/Idris-dev/issues/1367 for more details.