blob: 968e8dbdb40b3e589f57ce8e3d2ca060846a53e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
==================== 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).
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).
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).
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).
Main.tak @ GHC.Types.Int $dNum $dOrd
= Main.tak_$stak
|