diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/T3346.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/T3346.hs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/T3346.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/T3346.hs deleted file mode 100644 index bba57a06f9..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/T3346.hs +++ /dev/null @@ -1,19 +0,0 @@ -{-# OPTIONS_GHC -XTypeFamilies #-} - --- Trac #3346 - -module Foo where - -class EP a where - type Result a - from :: a -> Result a - to :: Result a -> a - -{-# RULES "rule1" forall x. to (from x) = x #-} -{-# RULES "rule2" forall x. from (to x) = x #-} - -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) |