Commit 3101c496 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Accept wibble in core-syntax printing

parent c9d1b379
......@@ -64,9 +64,9 @@ T4908.f =
------ Local rules for imported ids --------
"SC:$wf0" [ALWAYS]
forall {sc :: GHC.Types.Int
sc1 :: GHC.Prim.Int#
sc2 :: GHC.Prim.Int#}
forall (sc :: GHC.Types.Int)
(sc1 :: GHC.Prim.Int#)
(sc2 :: GHC.Prim.Int#).
T4908.$wf sc2 (sc, GHC.Types.I# sc1)
= T4908.f_$s$wf sc sc1 sc2
......
......@@ -144,7 +144,7 @@ Roman.foo =
------ Local rules for imported ids --------
"SC:$wgo0" [ALWAYS]
forall {sc :: GHC.Prim.Int# sc1 :: GHC.Prim.Int#}
forall (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#).
Roman.$wgo (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))
(Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc))
= Roman.foo_$s$wgo sc sc1
......
==================== Tidy Core rules ====================
"SPEC Main.fib [GHC.Types.Double]" [ALWAYS]
forall {$dNum :: GHC.Num.Num GHC.Types.Double
$dOrd :: GHC.Classes.Ord GHC.Types.Double}
forall ($dNum :: GHC.Num.Num GHC.Types.Double)
($dOrd :: GHC.Classes.Ord GHC.Types.Double).
Main.fib @ GHC.Types.Double $dNum $dOrd
= Main.fib_$sfib1
"SPEC Main.fib [GHC.Types.Int]" [ALWAYS]
forall {$dNum :: GHC.Num.Num GHC.Types.Int
$dOrd :: GHC.Classes.Ord GHC.Types.Int}
forall ($dNum :: GHC.Num.Num GHC.Types.Int)
($dOrd :: GHC.Classes.Ord GHC.Types.Int).
Main.fib @ GHC.Types.Int $dNum $dOrd
= Main.fib_$sfib
"SPEC Main.tak [GHC.Types.Double]" [ALWAYS]
forall {$dNum :: GHC.Num.Num GHC.Types.Double
$dOrd :: GHC.Classes.Ord GHC.Types.Double}
forall ($dNum :: GHC.Num.Num GHC.Types.Double)
($dOrd :: GHC.Classes.Ord GHC.Types.Double).
Main.tak @ GHC.Types.Double $dNum $dOrd
= Main.tak_$stak1
"SPEC Main.tak [GHC.Types.Int]" [ALWAYS]
forall {$dNum :: GHC.Num.Num GHC.Types.Int
$dOrd :: GHC.Classes.Ord GHC.Types.Int}
forall ($dNum :: GHC.Num.Num GHC.Types.Int)
($dOrd :: GHC.Classes.Ord GHC.Types.Int).
Main.tak @ GHC.Types.Int $dNum $dOrd
= Main.tak_$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