ghc/tests/typecheck/should_compile/tc087.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 Null{-rf,x-}{i} =
   6     _/\_ t_ar59 a_tr5a -> Null{-rf,x-}{i} {_@_ t_ar59 _@_ a_tr5a}
   7 Cons{-re,x-}{i} =
   8     _/\_ t_ar59 a_tr5a -> \ tpl_B1 tpl_B2 ->
   9         Cons{-re,x-}{i} {_@_ t_ar59 _@_ a_tr5a tpl_B1 tpl_B2}
  10 AbsBinds [ta13I] [d.Num_a13T] [([ta13I], out{-r4v,x-}, out_a13F)]
  11     d.Eq_a13V = PrelBase.scsel_NumPrelBaseEq{-a19a,p-} ta13I d.Num_a13T
  12     ==_a196 = PrelBase.=={-8Y,p-} ta13I d.Eq_a13V
  13     d.Num_a13X = d.Num_a13T
  14     sum_a197 = PrelList.sum{-ro0,p-} ta13I d.Num_a13X
  15     d.Num_a140 = d.Num_a13T
  16     fromInt_a198 = PrelBase.fromInt{-8R,p-} ta13I d.Num_a140
  17     lit_a199 = fromInt_a198 PrelBase.I#{-5b,w-}{i} 0#
  18     out_a13F x_r4O
  19              | (sum_a197 x_r4O) ==_a196 lit_a199 = PrelIO.putStr{-riO,p-} "ok\n"
  20              | PrelBase.otherwise{-818,p-} = PrelIO.putStr{-riO,p-} "ok\n"
  21 out_a18N = out{-r4v,x-} PrelBase.Int{-3g,W-} d.Num_a18n
  22 out_a18O = out{-r4v,x-} PrelBase.Double{-3a,W-} d.Num_a18o
  23 AbsBinds
  24 [ta14p, aa14q]
  25 [d.PriorityQueue_a14u, d.Ord_a14w]
  26 [([ta14p, aa14q], insertMany{-r4x,x-}, insertMany_a143)]
  27     insert_a14r = insert{-r5d,x-} aa14q d.PriorityQueue_a14u
  28     insert_a19b = insert_a14r ta14p d.Ord_a14w
  29     insertMany_a143 x_r4G q_r4H
  30                     = PrelBase.foldr{-89,w-} [ta14p, aa14q ta14p] insert_a19b
  31                                                                   q_r4H
  32                                                                   x_r4G
  33 AbsBinds
  34 [aa153, ta155]
  35 [d.PriorityQueue_a158, d.Ord_a15a]
  36 [([aa153, ta155], toOrderedList{-r4w,x-}, toOrderedList_a14y)]
  37     splitMin_a156 = splitMin{-r5f,x-} aa153 d.PriorityQueue_a158
  38     splitMin_a19c = splitMin_a156 ta155 d.Ord_a15a
  39     toOrderedList_a14y q_r4A
  40                        = case splitMin_a19c q_r4A of
  41                            Null{-rf,x-}{i} -> PrelBase.[]{-5i,w-}{i} ta155
  42                            (Cons{-re,x-}{i} a_r4D q_r4E)
  43                            -> PrelBase.:{-55,w-}{i} ta155 a_r4D (toOrderedList_a14y q_r4E)
  44 AbsBinds
  45 [aa15w, ta15x]
  46 [d.PriorityQueue_a15A, d.Ord_a15B]
  47 [([aa15w, ta15x], pqSort{-r4y,x-}, pqSort_a15c)]
  48     toOrderedList_a19d =
  49         toOrderedList{-r4w,x-} [aa15w, ta15x]
  50             [d.PriorityQueue_a15A, d.Ord_a15B]
  51     d.PriorityQueue_a15D = d.PriorityQueue_a15A
  52     d.Ord_a15E = d.Ord_a15B
  53     insertMany_a19e =
  54         insertMany{-r4x,x-} [ta15x, aa15w]
  55             [d.PriorityQueue_a15D, d.Ord_a15E]
  56     pqSort_a15c q_r4J x_r4K
  57                 = toOrderedList_a19d insertMany_a19e x_r4K q_r4J
  58 AbsBinds
  59 [aa15R]
  60 [d.PriorityQueue_a16G]
  61 [([aa15R], check{-r4u,x-}, check_a15N)]
  62     d.PriorityQueue_a17d = d.PriorityQueue_a16G
  63     d.Ord_a17e = PrelBase.$d7{-rcM,p-}
  64     pqSort_a19f =
  65         pqSort{-r4y,x-} [aa15R, PrelBase.Int{-3g,W-}]
  66             [d.PriorityQueue_a17d, d.Ord_a17e]
  67     d.Ord_a16H = d.Ord_a17e
  68     d.PriorityQueue_a17l = d.PriorityQueue_a16G
  69     d.Ord_a17m = PrelNum.$d17{-rwV,p-}
  70     pqSort_a19g =
  71         pqSort{-r4y,x-} [aa15R, PrelBase.Double{-3a,W-}]
  72             [d.PriorityQueue_a17l, d.Ord_a17m]
  73     d.Ord_a16I = d.Ord_a17m
  74     check_a15N empty_r4M
  75                = do
  76                    PrelIO.putStr{-riO,p-} "*** sorting\n"
  77                    out_a18N pqSort_a19f empty_a19h
  78                                         [(enumFromTo_a18W) lit_a18U .. lit_a18V]
  79                    out_a18O pqSort_a19g empty_a19i
  80                                         [(enumFromThenTo_a193) lit_a18Y, lit_a190 .. lit_a192]
  81                where
  82                    {- nonrec -}
  83                    empty_a19h = empty_r4M PrelBase.Int{-3g,W-} d.Ord_a16H
  84                    empty_a19i = empty_r4M PrelBase.Double{-3a,W-} d.Ord_a16I
  85                    {- nonrec -}
  86 AbsBinds
  87 [aa18I, ta18J]
  88 []
  89 [([aa18I, ta18J], $d1{-r18S,x-}, d.Eval_a17F)]
  90     d.Eval_a17F = ({-dict-} [] [])
  91 empty{-r5b,x-} =
  92     _/\_ t12 -> \ tpl_B1 ->
  93         case
  94             tpl_B1
  95         of {
  96         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
  97         tpl_B1;}
  98 single{-r5c,x-} =
  99     _/\_ t12 -> \ tpl_B1 ->
 100         case
 101             tpl_B1
 102         of {
 103         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 104         tpl_B2;}
 105 insert{-r5d,x-} =
 106     _/\_ t12 -> \ tpl_B1 ->
 107         case
 108             tpl_B1
 109         of {
 110         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 111         tpl_B3;}
 112 meld{-r5e,x-} =
 113     _/\_ t12 -> \ tpl_B1 ->
 114         case
 115             tpl_B1
 116         of {
 117         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 118         tpl_B4;}
 119 splitMin{-r5f,x-} =
 120     _/\_ t12 -> \ tpl_B1 ->
 121         case
 122             tpl_B1
 123         of {
 124         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 125         tpl_B5;}
 126 AbsBinds
 127 [aa17N]
 128 [d.PriorityQueue_a18i]
 129 [([aa17N], $minsert{-r18T,x-}, insert_a19j)]
 130     d.PriorityQueue_a18k = d.PriorityQueue_a18i
 131     meld_a189 = meld{-r5e,x-} aa17N d.PriorityQueue_a18k
 132     d.PriorityQueue_a18m = d.PriorityQueue_a18i
 133     single_a188 = single{-r5c,x-} aa17N d.PriorityQueue_a18m
 134     AbsBinds [ta17Q] [d.Ord_a18c] [([ta17Q], insert_a19j, insert_a17L)]
 135         d.Ord_a18e = d.Ord_a18c
 136         meld_a19k = meld_a189 ta17Q d.Ord_a18e
 137         d.Ord_a18g = d.Ord_a18c
 138         single_a19l = single_a188 ta17Q d.Ord_a18g
 139         insert_a17L a_r56 q_r57 = (single_a19l a_r56) meld_a19k q_r57
 140 d.Num_a18n = PrelBase.$d4{-rcq,p-}
 141 lit_a18U = PrelBase.I#{-5b,w-}{i} 1#
 142 lit_a18V = PrelBase.I#{-5b,w-}{i} 99#
 143 d.Enum_a18r = PrelBase.$d6{-rcL,p-}
 144 enumFromTo_a18W =
 145     PrelBase.enumFromTo{-8W,p-} PrelBase.Int{-3g,W-} d.Enum_a18r
 146 d.Num_a18o = PrelNum.$d16{-rwU,p-}
 147 d.Fractional_a18w = PrelNum.$d14{-rwS,p-}
 148 fromRational_a18X =
 149     PrelNum.fromRational{-8T,p-} PrelBase.Double{-3a,W-}
 150         d.Fractional_a18w
 151 lit_a18Y = fromRational_a18X 1.0000000000000000
 152 fromRational_a18Z = fromRational_a18X
 153 lit_a190 = fromRational_a18Z 1.1000000000000001
 154 fromRational_a191 = fromRational_a18X
 155 lit_a192 = fromRational_a191 99.900000000000006
 156 d.Enum_a18B = PrelNum.$d8{-rxr,p-}
 157 enumFromThenTo_a193 =
 158     PrelBase.enumFromThenTo{-8X,p-} PrelBase.Double{-3a,W-} d.Enum_a18B
 159 d.Monad_a18E = IOBase.$d3{-rm9,p-}
 160 >>=_a194 = PrelBase.>>={-811,p-} IOBase.IO{-3e,p-} d.Monad_a18E
 161 d.Monad_a18H = d.Monad_a18E
 162 return_a195 =
 163     PrelBase.return{-816,p-} IOBase.IO{-3e,p-} d.Monad_a18H
 164 ghc: module version changed to 1; reason: no old .hi file
 165 _interface_ ShouldSucceed 1
 166 _instance_modules_
 167 ArrBase IO PrelNum
 168 _usages_
 169 IOBase 1 :: $d2 1 $d3 1 $d7 1 IO 1;
 170 PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 otherwise 1 Enum 1 Eq 1 Eval 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
 171 PrelIO 1 :: putStr 1;
 172 PrelList 1 :: sum 1;
 173 PrelNum 1 :: $d1 1 $d10 1 $d14 1 $d15 1 $d16 1 $d17 1 $d18 1 $d2 1 $d29 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
 174 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 175 _exports_
 176 ShouldSucceed check insertMany out pqSort toOrderedList PriorityQueue(empty single insert meld splitMin) SeqView(Null Cons);
 177 _instances_
 178 instance _forall_ [t :: (* -> *) a] => {PrelBase.Eval (SeqView t a)} = $d1;
 179 _declarations_
 180 1 $d1 _:_ _forall_ [t :: (* -> *) a] => {PrelBase.Eval (SeqView t a)} ;;
 181 1 $minsert _:_ _forall_ [q :: (* -> *)] {PriorityQueue q} => _forall_ [a] {PrelBase.Ord a} => a -> q a -> q a ;;
 182 1 class PriorityQueue q :: (* -> *) where {empty :: _forall_ [a] {PrelBase.Ord a} => q a; single :: _forall_ [a] {PrelBase.Ord a} => a -> q a; insert = :: _forall_ [a] {PrelBase.Ord a} => a -> q a -> q a; meld :: _forall_ [a] {PrelBase.Ord a} => q a -> q a -> q a; splitMin :: _forall_ [a] {PrelBase.Ord a} => q a -> SeqView q a} ;
 183 1 data SeqView t :: (* -> *) a = Null |  Cons a (t a) ;
 184 1 check _:_ _forall_ [aa :: (* -> *)] {PriorityQueue aa} => (_forall_ [tb] {PrelBase.Ord tb} => aa tb) -> IOBase.IO PrelBase.() ;;
 185 1 insertMany _:_ _forall_ [ta ab :: (* -> *)] {PriorityQueue ab, PrelBase.Ord ta} => [ta] -> ab ta -> ab ta ;;
 186 1 out _:_ _forall_ [ta] {PrelBase.Num ta} => [ta] -> IOBase.IO PrelBase.() ;;
 187 1 pqSort _:_ _forall_ [aa :: (* -> *) tb] {PriorityQueue aa, PrelBase.Ord tb} => aa tb -> [tb] -> [tb] ;;
 188 1 toOrderedList _:_ _forall_ [aa :: (* -> *) tb] {PriorityQueue aa, PrelBase.Ord tb} => aa tb -> [tb] ;;