diff options
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T3346.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T3346.hs b/testsuite/tests/typecheck/should_compile/T3346.hs index bba57a06f9..5b2cf060b8 100644 --- a/testsuite/tests/typecheck/should_compile/T3346.hs +++ b/testsuite/tests/typecheck/should_compile/T3346.hs @@ -1,4 +1,4 @@ -{-# OPTIONS_GHC -XTypeFamilies #-} +{-# LANGUAGE TypeFamilies #-} -- Trac #3346 @@ -16,4 +16,6 @@ foo :: EP a => a -> a -- This is typed in a way rather similarly to RULE rule1 foo x = to (from x) -bar x = from (to x) +-- 'bar' has an ambiguous type and is rightly rejected +-- bar :: forall a. Result a -> Result a +-- bar x = from (to x :: a) |