summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run/Defer01.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_run/Defer01.hs')
-rw-r--r--testsuite/tests/typecheck/should_run/Defer01.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_run/Defer01.hs b/testsuite/tests/typecheck/should_run/Defer01.hs
index 551c626f7c..8fcf999b32 100644
--- a/testsuite/tests/typecheck/should_run/Defer01.hs
+++ b/testsuite/tests/typecheck/should_run/Defer01.hs
@@ -1,8 +1,8 @@
-- Test -fdefer-type-errors
-- Should compile and run
-
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
+{-# LANGUAGE AllowAmbiguousTypes #-} -- Allows the strange type for `k`
{-# OPTIONS_GHC -fdefer-type-errors #-}
module Main where