Skip to content

Instantly share code, notes, and snippets.

@jhenahan
Created March 23, 2014 03:27
Show Gist options
  • Save jhenahan/9718191 to your computer and use it in GitHub Desktop.
Save jhenahan/9718191 to your computer and use it in GitHub Desktop.
Test failures with relaxed bounds in pointfree
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