Commit 04edc17d authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add test for Trac #2490, follow output changes

parent 15f4d15c
read023.hs:9:5:
read023.hs:9:4:
The operator `**' [infixl 7] of a section
must have lower precedence than the operand prefix `-' [infixl 6]
in the section: `- 3 **'
must have lower precedence than the operand prefix `-' [infixl 6]
in the section: `- 3 **'
-- Trac #2490
module ShouldFail where
-- All these sections are illegal
f x = [ (`head` x, ())
, (+ x, ())
, ((), + x)
, ((), + x, ())
, ((), x +) ]
T2490.hs:6:9:
A section must be enclosed in parentheses thus: (`head` x)
T2490.hs:7:9: A section must be enclosed in parentheses thus: (+ x)
T2490.hs:8:13:
A section must be enclosed in parentheses thus: (+ x)
T2490.hs:9:13:
A section must be enclosed in parentheses thus: (+ x)
T2490.hs:10:13:
A section must be enclosed in parentheses thus: (x +)
......@@ -69,4 +69,5 @@ test('rnfail055',
test('rn_dup', normal, compile_fail, [''])
test('T2310', if_compiler_lt('ghc', '6.9', expect_fail), compile_fail, [''])
test('T2490', normal, compile_fail, [''])
rnfail019.hs:5:9:
rnfail019.hs:5:8:
The operator `:' [infixr 5] of a section
must have lower precedence than the operand `(:)' [infixr 5]
in the section: `x : y :'
must have lower precedence than the operand `(:)' [infixr 5]
in the section: `x : y :'
......@@ -8,24 +8,24 @@ Imported rules
==================== Top-level specialisations ====================
"SPEC Main.fib" ALWAYS
forall {$dNum_sRV :: GHC.Num.Num GHC.Types.Double
$dOrd_sRW :: GHC.Classes.Ord GHC.Types.Double}
Main.fib @ GHC.Types.Double $dNum_sRV $dOrd_sRW
= $sfib_sSu
forall {$dNum :: GHC.Num.Num GHC.Types.Double
$dOrd :: GHC.Classes.Ord GHC.Types.Double}
Main.fib @ GHC.Types.Double $dNum $dOrd
= $sfib
"SPEC Main.fib" ALWAYS
forall {$dNum_sSd :: GHC.Num.Num GHC.Types.Int
$dOrd_sSe :: GHC.Classes.Ord GHC.Types.Int}
Main.fib @ GHC.Types.Int $dNum_sSd $dOrd_sSe
= $sfib_sSv
forall {$dNum :: GHC.Num.Num GHC.Types.Int
$dOrd :: GHC.Classes.Ord GHC.Types.Int}
Main.fib @ GHC.Types.Int $dNum $dOrd
= $sfib
"SPEC Main.tak" ALWAYS
forall {$dNum_sRh :: GHC.Num.Num GHC.Types.Double
$dOrd_sRi :: GHC.Classes.Ord GHC.Types.Double}
Main.tak @ GHC.Types.Double $dNum_sRh $dOrd_sRi
= $stak_sRE
forall {$dNum :: GHC.Num.Num GHC.Types.Double
$dOrd :: GHC.Classes.Ord GHC.Types.Double}
Main.tak @ GHC.Types.Double $dNum $dOrd
= $stak
"SPEC Main.tak" ALWAYS
forall {$dNum_sRt :: GHC.Num.Num GHC.Types.Int
$dOrd_sRu :: GHC.Classes.Ord GHC.Types.Int}
Main.tak @ GHC.Types.Int $dNum_sRt $dOrd_sRu
= $stak_sRF
forall {$dNum :: GHC.Num.Num GHC.Types.Int
$dOrd :: GHC.Classes.Ord GHC.Types.Int}
Main.tak @ GHC.Types.Int $dNum $dOrd
= $stak
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