summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail42.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail42.stderr')
-rw-r--r--testsuite/tests/backpack/should_fail/bkpfail42.stderr12
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail42.stderr b/testsuite/tests/backpack/should_fail/bkpfail42.stderr
new file mode 100644
index 0000000000..734832ff4b
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail42.stderr
@@ -0,0 +1,12 @@
+[1 of 2] Processing p
+ [1 of 1] Compiling A[sig] ( p/A.hsig, nothing )
+[2 of 2] Processing q
+ [1 of 1] Compiling A[sig] ( q/A.hsig, nothing )
+
+bkpfail42.bkp:9:9: error:
+ Type constructor ‘F’ has conflicting definitions in the module
+ and its hsig file
+ Main module: type family F a :: *
+ where [a] F a = GHC.Types.Int
+ Hsig file: type family F a :: *
+ where [a] F a = GHC.Types.Bool