Created
March 23, 2014 03:27
-
-
Save jhenahan/9718191 to your computer and use it in GitHub Desktop.
Test failures with relaxed bounds in pointfree
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Test suite tests: RUNNING... | |
### Failure in: 0 | |
foldr (++) [] failed. | |
expected: "join" | |
but got: "foldr (++) []" | |
### Failure in: 1 | |
flip flip [] . ((:) .) failed. | |
expected: "(return .)" | |
but got: "flip flip [] . ((:) .)" | |
### Failure in: 3 | |
\(x,_) (y,_) -> x == y failed. | |
expected: "(. fst) . (==) . fst" | |
but got: "(`ap` snd) . (. fst) . (const .) . (==) . fst" | |
### Error in: 5 | |
pointfree: not supported: PatBind (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 5}) (PTuple Boxed [PVar (Ident "x"),PVar (Ident "y")]) Nothing (UnGuardedRhs (Tuple Boxed [Lit (Int 1),Lit (Int 2)])) (BDecls []) | |
### Error in: 12 | |
pointfree: not supported: ListComp (App (Var (UnQual (Ident "f"))) (Var (UnQual (Ident "x")))) [QualStmt (Generator (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 15}) (PVar (Ident "x")) (Var (UnQual (Ident "xs")))),QualStmt (Qualifier (App (Var (UnQual (Ident "p"))) (Var (UnQual (Ident "x")))))] | |
Cases: 92 Tried: 92 Errors: 2 Failures: 3 | |
+++ OK, passed 100 tests. | |
+++ OK, passed 100 tests. | |
+++ OK, passed 100 tests. | |
Test suite tests: FAIL | |
Test suite logged to: dist/test/pointfree-1.0.4.6-tests.log |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment