diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T13780c.stderr')
-rw-r--r-- | testsuite/tests/dependent/should_fail/T13780c.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_fail/T13780c.stderr b/testsuite/tests/dependent/should_fail/T13780c.stderr new file mode 100644 index 0000000000..9a196f4bd7 --- /dev/null +++ b/testsuite/tests/dependent/should_fail/T13780c.stderr @@ -0,0 +1,14 @@ +[1 of 2] Compiling T13780b ( T13780b.hs, T13780b.o ) +[2 of 2] Compiling T13780c ( T13780c.hs, T13780c.o ) + +T13780c.hs:11:16: error: + • Data constructor ‘SFalse’ cannot be used here + (it comes from a data family instance) + • In the third argument of ‘ElimBool’, namely ‘SFalse’ + In the type family declaration for ‘ElimBool’ + +T13780c.hs:12:16: error: + • Data constructor ‘STrue’ cannot be used here + (it comes from a data family instance) + • In the third argument of ‘ElimBool’, namely ‘STrue’ + In the type family declaration for ‘ElimBool’ |