summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T13834.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T13834.hs')
-rw-r--r--testsuite/tests/typecheck/should_fail/T13834.hs6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T13834.hs b/testsuite/tests/typecheck/should_fail/T13834.hs
new file mode 100644
index 0000000000..005ea79d68
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T13834.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE TypeApplications #-}
+
+module Bug where
+
+foo = notInScope @Bool True
+