diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-10-14 00:13:44 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-10-20 12:45:42 -0700 |
| commit | 01490b4c1222b66029d18e1661ebd7c6cf216948 (patch) | |
| tree | 06a18b1d85698588a5ecfe61eab4546b9237491d /testsuite/tests/backpack/should_fail/bkpfail15.stderr | |
| parent | 9df4ce4f89b6d999822ae30ff777bdaf26665c06 (diff) | |
| download | haskell-01490b4c1222b66029d18e1661ebd7c6cf216948.tar.gz | |
Mark previously failing backpack tests as passing, with correct output.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail15.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail15.stderr | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail15.stderr b/testsuite/tests/backpack/should_fail/bkpfail15.stderr new file mode 100644 index 0000000000..37d0f5d3a4 --- /dev/null +++ b/testsuite/tests/backpack/should_fail/bkpfail15.stderr @@ -0,0 +1,17 @@ +[1 of 3] Processing p + [1 of 3] Compiling A[sig] ( p/A.hsig, nothing ) + [2 of 3] Compiling Q[sig] ( p/Q.hsig, nothing ) + [3 of 3] Compiling P ( p/P.hs, nothing ) +[2 of 3] Processing q + Instantiating q + [1 of 1] Compiling Q ( q/Q.hs, bkpfail15.out/q/Q.o ) +[3 of 3] Processing r + [1 of 1] Compiling A[sig] ( r/A.hsig, nothing ) + +bkpfail15.bkp:8:9: error: + • Identifier ‘q:Q.f’ has conflicting definitions in the module + and its hsig file + Main module: q:Q.f :: GHC.Types.Bool + Hsig file: q:Q.f :: GHC.Types.Int + The two types are different + • while checking that q:Q implements signature Q in p[A=<A>, Q=q:Q] |