all tests pass EXCEPT neg/truespec.hs which is on TODO list