+++ /dev/null
-
-
---================================================================================
-Typechecked:
-{- rec -}
-AbsBinds
-[a{-auS-}]
-[d.Foo_av1]
-[([a{-auS-}], $d1{-rvF,x-}, d.Foo_auJ)]
- d.Foo_av5 =
- d.Foo_auJ
- $mop1_avJ =
- ClassFoo.$mop1{-ruM,p-}
- [a{-auS-}]
- d.Foo_av5
- d.Foo_av7 =
- d.Foo_auJ
- $mop2_avI =
- ClassFoo.$mop2{-ruP,p-}
- [a{-auS-}]
- d.Foo_av7
- AbsBinds [] [] [([], op1_auL, op1_auO)]
- op1_auO
- = $mop1_avJ
- AbsBinds [] [] [([], op2_auW, op2_auY)]
- op2_auY
- = $mop2_avI
- d.Foo_auJ =
- ({-dict-} [] [op1_auL, op2_auW])
-{- rec -}
-AbsBinds [] [] [([], $d2{-rvK,x-}, d.Foo_avd)]
- AbsBinds [] [] [([], op1_avf, op1_avh)]
- op1_avh
- = $mop1_avH
- AbsBinds [] [] [([], op2_avo, op2_avq)]
- op2_avq
- = $mop2_avG
- d.Foo_avd =
- ({-dict-} [] [op1_avf, op2_avo])
-{- nonrec -}
-d.Foo_avB =
- $d2{-rvK,x-}
-$mop1_avH =
- ClassFoo.$mop1{-ruM,p-}
- PrelBase.Int{-3g,p-}
- d.Foo_avB
-d.Foo_avE =
- d.Foo_avB
-$mop2_avG =
- ClassFoo.$mop2{-ruP,p-}
- PrelBase.Int{-3g,p-}
- d.Foo_avE
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ Bar 1
-_instance_modules_
-ArrBase Bar IO PrelNum
-_usages_
-ClassFoo 1 :: Foo 1;
-_exports_
-_instances_
-instance _forall_ [a] {ClassFoo.Foo a} => {ClassFoo.Foo [a]} = $d1;
-instance {ClassFoo.Foo PrelBase.Int} = $d2;
-_declarations_
-1 $d1 _:_ _forall_ [a] {ClassFoo.Foo a} => {ClassFoo.Foo [a]} ;;
-1 $d2 _:_ {ClassFoo.Foo PrelBase.Int} ;;