[project @ 2005-03-09 16:57:09 by simonpj]

add test for infix type-variable operator

testsuite/tests/ghc-regress/typecheck/should_run/all.T

@@ -39,6 +39,7 @@ test('tcrun030', normal, compile_and_run, [''])
 test('tcrun031', only_compiler_types(['ghc']), compile_and_run, [''])
 test('tcrun032', only_compiler_types(['ghc']), compile_and_run, [''])
 test('tcrun033', only_compiler_types(['ghc']), compile_and_run, [''])
+test('tcrun034', only_compiler_types(['ghc']), compile_and_run, [''])
 
 test('church', normal, compile_and_run, [''])
 test('testeq2', normal, compile_and_run, [''])

testsuite/tests/ghc-regress/typecheck/should_run/tcrun034.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+module Main where
+
+-- Infix type operator
+f1 :: forall m a b. (a `m` b) -> ((a `m` b) -> a) -> a
+f1 x g = g x
+
+-- Infix type operator
+f2 :: forall a b (-->). (a --> b) -> ((a --> b) -> b) -> b
+f2 x g = g x
+
+main = do { print (f1 (3,5) fst); print (f2 (3,5) snd) }
+

testsuite/tests/ghc-regress/typecheck/should_run/tcrun034.stdout

+3
+5