X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail016.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail016.stderr;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=56889997069dec44c07c43d892ed75b1160afc36;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail016.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail016.stderr deleted file mode 100644 index 5688999..0000000 --- a/ghc/compiler/tests/typecheck/should_fail/tcfail016.stderr +++ /dev/null @@ -1,15 +0,0 @@ - -tcfail016.hs:9: Couldn't match the type - `PrelTup.(,) a{-aX1-}' against `Expr' - Expected: `Expr a{-aWV-}' - Inferred: `AnnExpr a{-aX1-}' - In the first argument of `g', namely - `e1' - In the first argument of `PrelBase.++', namely - (`g' `e1') - In an equation for function `g': - `g (App e1 e2) - = (g e1) PrelBase.++ (g e2)' - - -Compilation had errors