Commit c4a89da5 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #1541

parent 55063d0a
{-# 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
......@@ -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'])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment