diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc188.hs | 26 |
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 |