prelude.pure: passed
test001.pure: FAILED
test002.pure: passed
test003.pure: passed
test004.pure: FAILED
test005.pure: passed
test006.pure: passed
test007.pure: FAILED
test008.pure: FAILED
test009.pure: FAILED
test010.pure: FAILED
test011.pure: FAILED
test012.pure: passed
test013.pure: passed
test014.pure: FAILED
test015.pure: FAILED
test016.pure: passed
test017.pure: FAILED
test018.pure: FAILED
test019.pure: FAILED
test020.pure: FAILED
test021.pure: FAILED
test022.pure: FAILED
test023.pure: FAILED
test024.pure: FAILED
test025.pure: FAILED
test026.pure: passed
test027.pure: FAILED
test028.pure: FAILED
test029.pure: passed
test030.pure: passed
test031.pure: FAILED
test032.pure: passed
test033.pure: passed
test034.pure: FAILED
test035.pure: passed
test036.pure: FAILED
test037.pure: passed
test038.pure: passed
test039.pure: passed
test040.pure: passed
test041.pure: FAILED
test042.pure: FAILED