Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/b9e5ec3c106919d2135108968baea6893f331644 >--------------------------------------------------------------- commit b9e5ec3c106919d2135108968baea6893f331644 Author: Simon Peyton Jones <[email protected]> Date: Fri Mar 16 14:41:03 2012 +0000 Test Trac #1541 >--------------------------------------------------------------- tests/th/T1541.hs | 11 +++++++++++ tests/th/all.T | 1 + 2 files changed, 12 insertions(+), 0 deletions(-) diff --git a/tests/th/T1541.hs b/tests/th/T1541.hs new file mode 100644 index 0000000..c570e75 --- /dev/null +++ b/tests/th/T1541.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE TemplateHaskell #-} +module T1541 where + +$( [d| infixr 3 +++ + (+++) :: Int -> Bool -> Bool + (+++) x y = error "ruk" + |]) + +-- This definition will only typecheck if the +-- the fixity of (+++) is infixr +foo p q r = p +++ q +++ r diff --git a/tests/th/all.T b/tests/th/all.T index 03d7bdb..0bff91e 100644 --- a/tests/th/all.T +++ b/tests/th/all.T @@ -220,4 +220,5 @@ test('T5665', extra_clean(['T5665a.hi','T5665a.o']), test('T5700', extra_clean(['T5700a.hi','T5700a.o']), multimod_compile, ['T5700','-v0 -ddump-splices']) test('T5721', normal, compile, ['-v0']) +test('T1541', normal, compile, ['-v0']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
