summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail128.stderr-hugs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail128.stderr-hugs')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail128.stderr-hugs5
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail128.stderr-hugs b/testsuite/tests/typecheck/should_fail/tcfail128.stderr-hugs
new file mode 100644
index 0000000000..fa3977e1e9
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail128.stderr-hugs
@@ -0,0 +1,5 @@
+ERROR "tcfail128.hs":12 - Cannot justify constraints in explicitly typed binding
+*** Expression : main
+*** Type : IO ()
+*** Given context : ()
+*** Constraints : MArray a (UArray Int Double) IO