T2486.stderr 919 Bytes
Newer Older
simonpj's avatar
simonpj committed
1

simonpj's avatar
simonpj committed
2
==================== Tidy Core rules ====================
3
"SPEC Main.fib [GHC.Types.Double]" [ALWAYS]
4
5
    forall ($dNum :: GHC.Num.Num GHC.Types.Double)
           ($dOrd :: GHC.Classes.Ord GHC.Types.Double).
6
      Main.fib @ GHC.Types.Double $dNum $dOrd
7
      = Main.fib_$sfib1
8
"SPEC Main.fib [GHC.Types.Int]" [ALWAYS]
9
10
    forall ($dNum :: GHC.Num.Num GHC.Types.Int)
           ($dOrd :: GHC.Classes.Ord GHC.Types.Int).
11
      Main.fib @ GHC.Types.Int $dNum $dOrd
12
      = Main.fib_$sfib
13
"SPEC Main.tak [GHC.Types.Double]" [ALWAYS]
14
15
    forall ($dNum :: GHC.Num.Num GHC.Types.Double)
           ($dOrd :: GHC.Classes.Ord GHC.Types.Double).
16
      Main.tak @ GHC.Types.Double $dNum $dOrd
17
      = Main.tak_$stak1
18
"SPEC Main.tak [GHC.Types.Int]" [ALWAYS]
19
20
    forall ($dNum :: GHC.Num.Num GHC.Types.Int)
           ($dOrd :: GHC.Classes.Ord GHC.Types.Int).
21
      Main.tak @ GHC.Types.Int $dNum $dOrd
22
      = Main.tak_$stak
simonpj's avatar
simonpj committed
23
24