Commit 15f4d15c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update output

parent 5e191aeb
......@@ -9,23 +9,23 @@ Imported rules
==================== Top-level specialisations ====================
"SPEC Main.fib" ALWAYS
forall {$dNum_sRV :: GHC.Num.Num GHC.Types.Double
$dOrd_sRX :: GHC.Classes.Ord GHC.Types.Double}
Main.fib @ GHC.Types.Double $dNum_sRV $dOrd_sRX
= $sfib_sSv
$dOrd_sRW :: GHC.Classes.Ord GHC.Types.Double}
Main.fib @ GHC.Types.Double $dNum_sRV $dOrd_sRW
= $sfib_sSu
"SPEC Main.fib" ALWAYS
forall {$dNum_sSd :: GHC.Num.Num GHC.Types.Int
$dOrd_sSf :: GHC.Classes.Ord GHC.Types.Int}
Main.fib @ GHC.Types.Int $dNum_sSd $dOrd_sSf
= $sfib_sSu
$dOrd_sSe :: GHC.Classes.Ord GHC.Types.Int}
Main.fib @ GHC.Types.Int $dNum_sSd $dOrd_sSe
= $sfib_sSv
"SPEC Main.tak" ALWAYS
forall {$dNum_sRh :: GHC.Num.Num GHC.Types.Double
$dOrd_sRj :: GHC.Classes.Ord GHC.Types.Double}
Main.tak @ GHC.Types.Double $dNum_sRh $dOrd_sRj
= $stak_sRF
$dOrd_sRi :: GHC.Classes.Ord GHC.Types.Double}
Main.tak @ GHC.Types.Double $dNum_sRh $dOrd_sRi
= $stak_sRE
"SPEC Main.tak" ALWAYS
forall {$dNum_sRt :: GHC.Num.Num GHC.Types.Int
$dOrd_sRv :: GHC.Classes.Ord GHC.Types.Int}
Main.tak @ GHC.Types.Int $dNum_sRt $dOrd_sRv
= $stak_sRE
$dOrd_sRu :: GHC.Classes.Ord GHC.Types.Int}
Main.tak @ GHC.Types.Int $dNum_sRt $dOrd_sRu
= $stak_sRF
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