================================================================================
Simplified:
-nrlit_sMT ::
- [PrelBase.Char{-38,p-}]
+$g0_g0 :: [PrelBase.Char{-38,W-}]
{-# L #-}
-nrlit_sMT =
- PackedString.unpackCString#{-8F,p-}
- "xxx"
-$d1{-rJ7,x-} ::
- _forall_
- [a{-r3g-} b{-r3h-} c{-r3i-}]
- =>
- {Foo{-r3j,x-} a{-r3g-}}
- -> {Foo{-r3j,x-} b{-r3h-}}
- -> {Foo{-r3j,x-} c{-r3i-}}
- -> {Foo{-r3j,x-} (Wibble{-r3y,x-} a{-r3g-} b{-r3h-} c{-r3i-})}
+$g0_g0 =
+ PackBase.unpackCString#{-8F,w-} "xxx"
+$d1{-rE0,x-} :: _forall_
+ [a_tr3g b_tr3h c_tr3i]
+ =>
+ {Foo{-r3j,x-} a_tr3g}
+ -> {Foo{-r3j,x-} b_tr3h}
+ -> {Foo{-r3j,x-} c_tr3i}
+ -> {Foo{-r3j,x-} (Wibble{-r3w,x-} a_tr3g b_tr3h c_tr3i)}
_A>_ 3 {-# L #-}
-$d1{-rJ7,x-} =
- _/\_ a{-sMG-} b{-sMH-} c{-sMI-} -> \ d.Foo_sLN ::
- {Foo{-r3j,x-} a{-sMG-}}
+$d1{-rE0,x-} =
+ _/\_ $x0_tsGS $x1_tsGT $x2_tsGU -> \ $x3_sGV :: {Foo{-r3j,x-} $x0_tsGS}
{-# L #-}
- d.Foo_sLN d.Foo_sLM ::
- {Foo{-r3j,x-} b{-sMH-}}
- {-# L #-}
- d.Foo_sLM d.Foo_sLL ::
- {Foo{-r3j,x-} c{-sMI-}}
- {-# L #-}
- d.Foo_sLL ->
+ $x3_sGV $x4_sGW :: {Foo{-r3j,x-} $x1_tsGT}
+ {-# L #-}
+ $x4_sGW $x5_sGX :: {Foo{-r3j,x-} $x2_tsGU}
+ {-# L #-}
+ $x5_sGX ->
let {
- op_sLp ::
- PrelBase.Int{-3g,p-}
- -> Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
- -> PrelBase.Bool{-34,p-}
+ $x8_sFS :: PrelBase.Int{-3g,W-}
+ -> Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU
+ -> PrelBase.Bool{-34,W-}
_A>_ 2 {-# L #-}
- op_sLp =
- \ x_sLs ::
- PrelBase.Int{-3g,p-}
+ $x8_sFS =
+ \ $x6_sH5 :: PrelBase.Int{-3g,W-}
{-# L #-}
- x_sLs y_sLq ::
- Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
- {-# L #-}
- y_sLq ->
- IOBase.error{-87,p-}
- _@_ PrelBase.Bool{-34,p-} nrlit_sMT } in
+ $x6_sH5 $x7_sH4 :: Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU
+ {-# L #-}
+ $x7_sH4 ->
+ IOBase.error{-87,w-} _@_ PrelBase.Bool{-34,W-} $g0_g0 } in
let {
- op_sLO ::
- PrelBase.Int{-3g,p-}
- -> Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
- -> PrelBase.Bool{-34,p-}
+ $x9_sGY :: PrelBase.Int{-3g,W-}
+ -> Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU
+ -> PrelBase.Bool{-34,W-}
_A>_ 2 {-# L #-}
- op_sLO =
- op_sLp } in
+ $x9_sGY =
+ $x8_sFS } in
let {
- d.Foo_sLP ::
- {Foo{-r3j,x-} (Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-})}
+ $xa_sGZ :: {Foo{-r3j,x-} (Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU)}
_A>_ 2 {-# L #-}
- d.Foo_sLP =
- op_sLp
- } in
- op_sLp
-$d2{-rJ2,x-} ::
- _forall_
- [a{-r3s-} b{-r3t-} c{-r3u-}]
- =>
- {PrelBase.Eval{-24,p-} (Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-})}
+ $xa_sGZ =
+ $x8_sFS
+ } in $x8_sFS
+$d2{-rDV,x-} :: _forall_
+ [a_tr3r b_tr3s c_tr3t]
+ =>
+ {PrelBase.Eval{-24,p-} (Wibble{-r3w,x-} a_tr3r b_tr3s c_tr3t)}
_A>_ 0 {-# L #-}
-$d2{-rJ2,x-} =
- _/\_ a{-sMV-} b{-sMW-} c{-sMX-} ->
+$d2{-rDV,x-} =
+ _/\_ $x0_tsH8 $x1_tsH7 $x2_tsH6 ->
let {
- d.Eval_sM2 ::
- {PrelBase.Eval{-24,p-} (Wibble{-r3y,x-} a{-sMV-} b{-sMW-} c{-sMX-})}
+ $x3_sGM :: {PrelBase.Eval{-24,p-} (Wibble{-r3w,x-} $x0_tsH8 $x1_tsH7 $x2_tsH6)}
{-# L #-}
- d.Eval_sM2 =
- PrelBase.void{-8G,p-}
- } in
- PrelBase.void{-8G,p-}
-nrlit_sMU ::
- [PrelBase.Char{-38,p-}]
-{-# L #-}
-nrlit_sMU =
- PackedString.unpackCString#{-8F,p-}
- "Class Foo Method op"
-$mop{-rIV,x-} ::
- _forall_
- [a{-r3w-}]
- =>
- {Foo{-r3j,x-} a{-r3w-}}
- -> PrelBase.Int{-3g,p-}
- -> a{-r3w-}
- -> PrelBase.Bool{-34,p-}
+ $x3_sGM =
+ PrelBase.void{-8G,w-}
+ } in PrelBase.void{-8G,w-}
+MkWibble{-r3y,x-}{i} :: _forall_
+ [a_tr3r b_tr3s c_tr3t]
+ =>
+ a_tr3r -> b_tr3s -> c_tr3t -> Wibble{-r3w,x-} a_tr3r b_tr3s c_tr3t
_A>_ 3 {-# L #-}
-$mop{-rIV,x-} =
- _/\_ a{-sMJ-} -> \ d.Foo_sMg ::
- {Foo{-r3j,x-} a{-sMJ-}}
- {-# L #-}
- d.Foo_sMg ->
- GHCerr.noDefaultMethodError{-8k,p-}
- _@_ (PrelBase.Int{-3g,p-} -> a{-sMJ-} -> PrelBase.Bool{-34,p-})
- nrlit_sMU
-op{-r3z,x-} ::
- _forall_
- [a{-r3w-}]
- =>
- {Foo{-r3j,x-} a{-r3w-}}
- -> PrelBase.Int{-3g,p-}
- -> a{-r3w-}
- -> PrelBase.Bool{-34,p-}
-_A>_ 1 {-# L #-}
-op{-r3z,x-} =
- _/\_ a{-sMK-} -> \ tpl_sMf ::
- {Foo{-r3j,x-} a{-sMK-}}
- {-# L #-}
- tpl_sMf ->
- tpl_sMf
-MkWibble{-r3x,x-}{i} ::
- _forall_
- [a{-r3s-} b{-r3t-} c{-r3u-}]
- =>
- a{-r3s-}
- -> b{-r3t-}
- -> c{-r3u-}
- -> Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-}
-_A>_ 3 {-# L #-}
-MkWibble{-r3x,x-}{i} =
- _/\_ a{-sMO-} b{-sMP-} c{-sMQ-} -> \ tpl_sML ::
- a{-sMO-}
+MkWibble{-r3y,x-}{i} =
+ _/\_ $x0_tsH0 $x1_tsH1 $x2_tsH2 -> \ $x3_sGL :: $x0_tsH0
{-# L #-}
- tpl_sML tpl_sMM ::
- b{-sMP-}
+ $x3_sGL $x4_sGK :: $x1_tsH1
{-# L #-}
- tpl_sMM tpl_sMN ::
- c{-sMQ-}
+ $x4_sGK $x5_sGJ :: $x2_tsH2
{-# L #-}
- tpl_sMN ->
- MkWibble{-r3x,x-}{i}
- {_@_ a{-sMO-} _@_ b{-sMP-} _@_ c{-sMQ-} tpl_sML tpl_sMM tpl_sMN}
+ $x5_sGJ ->
+ MkWibble{-r3y,x-}{i}
+ {_@_ $x0_tsH0 _@_ $x1_tsH1 _@_ $x2_tsH2 $x3_sGL $x4_sGK $x5_sGJ}
+op{-r3x,x-} :: _forall_
+ [a_tr3v]
+ =>
+ {Foo{-r3j,x-} a_tr3v}
+ -> PrelBase.Int{-3g,W-}
+ -> a_tr3v
+ -> PrelBase.Bool{-34,W-}
+_A>_ 1 {-# L #-}
+op{-r3x,x-} =
+ _/\_ $x0_tsH3 -> \ $x1_sGI :: {Foo{-r3j,x-} $x0_tsH3}
+ {-# L #-}
+ $x1_sGI ->
+ $x1_sGI
projects / ghc-hetmet.git / blobdiff