summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs26
1 files changed, 0 insertions, 26 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs
deleted file mode 100644
index eaf3690ef1..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs
+++ /dev/null
@@ -1,26 +0,0 @@
-{-# LANGUAGE TypeOperators, MultiParamTypeClasses, LiberalTypeSynonyms #-}
-
--- Test infix type constructors for type synonyms
-
-module ShouldCompile where
-
-infix 9 :-+-:
-type (f :-+-: g) t o1 o2 = Either (f t o1 o2) (g t o1 o2)
-
-data Foo a b c = Foo (a,b,c)
-
-type App f = f Int Bool Int
-
-f :: (Foo :-+-: Foo) Bool Int Bool
-f = error "urk"
-
-g :: App (Foo :-+-: Foo)
-g = error "urk"
-
--------- classes --------
-
-class (Eq a, Eq b) => a :&: b where
- op :: a -> b
-
-h :: (a :&: b) => a -> b
-h x = op x