diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-08-16 11:45:38 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-08-16 11:45:38 +0100 |
| commit | abb92c1fed8f246c1e8c9150a3650d5bc83f29d1 (patch) | |
| tree | 3881740d0f19182d82bc63ced1f18e4f9103bb13 | |
| parent | 07f62bf90c9c790fedda50f45ef80c0da49524b8 (diff) | |
| download | haskell-abb92c1fed8f246c1e8c9150a3650d5bc83f29d1.tar.gz | |
Remove ambiguous defn (now rightly rejected) from T3346
| -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) |