-
-
-================================================================================
-Typechecked:
-AbsBinds [tayv] [] [([tayv], x{-r3g,x-}, x_ayt)]
- x_ayt = x_ayt
-AbsBinds [tayB, tayD] [] [([tayB, tayD], a{-r3h,x-}, a_ayx)]
- a_ayx = (x{-r3g,x-} tayB, x{-r3g,x-} tayD)
+==================== Typechecked ====================
+AbsBinds [tayz] [] [([tayz], x{-r3g,x-}, x_ayx)]
+ x_ayx = x_ayx
+AbsBinds [tayF, tayH] [] [([tayF, tayH], a{-r3h,x-}, a_ayB)]
+ a_ayB = (x{-r3g,x-} tayF, x{-r3g,x-} tayH)
AbsBinds
-[tayW, tayS, tayU]
+[taz1, tayX, tayZ]
[]
-[([tayW, tayS, tayU], f{-r3i,x-}, f_ayJ)]
- f_ayJ x_r3f = a{-r3h,x-} [tayS, tayU]
+[([taz1, tayX, tayZ], f{-r3i,x-}, f_ayN)]
+ f_ayN x_r3f = a{-r3h,x-} [tayX, tayZ]
+
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_