-=-=-=-=-=INTERFACE STARTS HERE=-=-=-=-= Print001
-interface Print001 where
-f :: Eq a => (a -> b -> c) -> a -> b -> c {-# ARITY _ = 2 #-}
-f2 :: (Eq a, Ord a, Ix c) => (a -> b -> c) -> a -> b -> c {-# ARITY _ = 4 #-}
-g :: Foo Int (b -> a) (b -> [(b, Double, Int)]) -> Float {-# ARITY _ = 1 #-}
-mkFoo :: [((a -> Int) -> a) -> b] -> (a -> b, b -> b) -> () -> Foo a b c {-# ARITY _ = 3 #-}
-data Bar a = BarNil | BarCon (Foo a a a) (Bar a)
-data Foo a b c = MkFoo [((a -> Int) -> a) -> b] (a -> b, b -> b) ()
-=-=-=-=-=INTERFACE STOPS HERE=-=-=-=-=
+
+================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+{- nonrec -}
+BarNil{-r4r,x-}{i} =
+ _/\_ a{-r4O-} ->
+ BarNil{-r4r,x-}{i}
+ {_@_ a{-r4O-}}
+BarCon{-r4q,x-}{i} =
+ _/\_ a{-r4O-} -> \ tpl_B1 tpl_B2 ->
+ BarCon{-r4q,x-}{i}
+ {_@_ a{-r4O-} tpl_B1 tpl_B2}
+{- nonrec -}
+MkFoo{-r4U,x-}{i} =
+ _/\_ d{-r4Q-} e{-r4R-} f{-r4S-} -> \ tpl_B1 tpl_B2 tpl_B3 ->
+ MkFoo{-r4U,x-}{i}
+ {_@_ d{-r4Q-} _@_ e{-r4R-} _@_ f{-r4S-} tpl_B1 tpl_B2 tpl_B3}
+{- rec -}
+AbsBinds [a{-a15E-}] [] [([a{-a15E-}], $d1{-r15L,x-}, d.Eval_a15s)]
+ d.Eval_a15s =
+ ({-dict-} [] [])
+{- rec -}
+AbsBinds
+[d{-a15F-}, e{-a15H-}, f{-a15G-}]
+[]
+[([d{-a15F-}, e{-a15H-}, f{-a15G-}], $d2{-r15P,x-}, d.Eval_a15A)]
+ d.Eval_a15A =
+ ({-dict-} [] [])
+{- nonrec -}
+d.Fractional_a15D =
+ PrelNum.$d23{-rIo,p-}
+fromRational_a15N =
+ PrelNum.fromRational{-8T,p-}
+ PrelBase.Float{-3c,p-}
+ d.Fractional_a15D
+lit_a15M =
+ fromRational_a15N
+ 2.0000000000000000
+{- nonrec -}
+AbsBinds
+[a{-a14B-}, b{-a14C-}]
+[]
+[([b{-a14C-}, a{-a14B-}], g{-r4F,x-}, g_a14y)]
+ g_a14y
+ x_r4M = lit_a15M
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[a{-a14R-}, b{-a14S-}, c{-a14T-}]
+[d.Eq_a14V, d.Ord_a14W, d.Ix_a14X]
+[([a{-a14R-}, b{-a14S-}, c{-a14T-}], f2{-r4E,x-}, f2_a14O)]
+ f2_a14O
+ x_r4K = x_r4K
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[a{-a158-}, b{-a159-}, c{-a15a-}]
+[d.Eq_a15c]
+[([a{-a158-}, b{-a159-}, c{-a15a-}], f{-r4D,x-}, f_a155)]
+ f_a155
+ x_r4I = x_r4I
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[d{-a15i-}, e{-a15k-}, f{-a15m-}]
+[]
+[([d{-a15i-}, e{-a15k-}, f{-a15m-}], mkFoo{-r4G,x-}, mkFoo_a15e)]
+ mkFoo_a15e
+ = MkFoo{-r4U,x-}{i}
+ [d{-a15i-}, e{-a15k-}, f{-a15m-}]
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ Print001 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+Ix 1 :: $d3 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $minRange 1 $mindex 1 $mrange 1 Ix 1;
+PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d13 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d40 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d5 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 $m* 1 $m+ 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m== 1 $m> 1 $m>= 1 $mabs 1 $mcompare 1 $menumFrom 1 $menumFromThen 1 $menumFromThenTo 1 $menumFromTo 1 $mfromEnum 1 $mfromInt 1 $mfromInteger 1 $mmax 1 $mmin 1 $mnegate 1 $mshowList 1 $mshowsPrec 1 $msignum 1 $mtoEnum 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
+PrelNum 1 :: $d1 1 $d10 1 $d14 1 $d15 1 $d16 1 $d17 1 $d18 1 $d19 1 $d2 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 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 $d9 1 $m/ 1 $mdiv 1 $mdivMod 1 $mfromRational 1 $mmod 1 $mquot 1 $mquotRem 1 $mrecip 1 $mrem 1 $mtoInt 1 $mtoInteger 1 $mtoRational 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
+PrelTup 1 :: $d10 1 $d13 1 $d14 1 $d3 1 $d4 1 $d49 1 $d50 1 $d9 1;
+_exports_
+Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
+_instances_
+instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d1;
+instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
+_declarations_
+1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
+1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
+1 data Bar r4O = BarNil | BarCon (Foo r4O r4O r4O) (Bar r4O) ;
+1 data Foo r4Q r4R r4S = MkFoo [((r4Q -> PrelBase.Int) -> r4Q) -> r4R] (r4Q -> r4R, r4R -> r4R) PrelBase.() ;
+1 f _:_ _forall_ [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;;
+1 f2 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord a, Ix.Ix c} => (a -> b -> c) -> a -> b -> c ;;
+1 g _:_ _forall_ [a b] => Foo PrelBase.Int (b -> a) (b -> [(b, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;;
+1 mkFoo _:_ _forall_ [a b c] => [((a -> PrelBase.Int) -> a) -> b] -> (a -> b, b -> b) -> PrelBase.() -> Foo a b c ;;
projects / ghc-hetmet.git / blobdiff