search

frankpfenning / C0

C0 Language
4 stars 0 forks source link

coin doesn't default to purity checking #36

Closed robsimmons closed 11 years ago

robsimmons commented 11 years ago

tests/fp-simple/unionfind.c0 runs under coin-exec, but it should instead fail without --no-purity-check

robsimmons commented 11 years ago

Fixed in r207 - updated coin-exec, coin, and code.