Commit eb718c9c authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-24 14:48:49 by simonmar]

accept the output
parent 5cf1a838
================================================================================
Simplified:
`$d5' :: `{PrelBase.Eval (Pair a b)}'
`$d5' =
_/\_ `$x0' `$x1' -> `PrelBase.void'
`$d4' :: `{PrelBase.Eval (LList alpha)}'
`$d4' =
_/\_ `$x0' -> `PrelBase.void'
`$d2' :: `{PrelBase.Eval (Tree x)}'
`$d2' =
_/\_ `$x0' -> `PrelBase.void'
`$d1' :: `{PrelBase.Eval (A a)}'
`$d1' =
_/\_ `$x0' -> `PrelBase.void'
`MkA' :: `a -> A a -> A a'
`MkA' =
_/\_ `$x0' -> \ `$x1' :: `$x0'
`$x1' `$x2' :: `A $x0'
`$x2' ->
`MkA' {_@_ `$x0' `$x1' `$x2'}
`MkPair' :: `a -> b -> Pair a b'
`MkPair' =
_/\_ `$x0' `$x1' -> \ `$x2' :: `$x0'
`$x2' `$x3' :: `$x1'
`$x3' ->
`MkPair' {_@_ `$x0' _@_ `$x1' `$x2' `$x3'}
`Leaf' :: `x -> Tree x'
`Leaf' =
_/\_ `$x0' -> \ `$x1' :: `$x0'
`$x1' ->
`Leaf' {_@_ `$x0' `$x1'}
`Node' :: `Tree x -> Tree x -> Tree x'
`Node' =
_/\_ `$x0' -> \ `$x1' :: `Tree $x0'
`$x1' `$x2' :: `Tree $x0'
`$x2' ->
`Node' {_@_ `$x0' `$x1' `$x2'}
`Zero' :: `Nat'
`Zero' =
`Zero' {}
`Succ' :: `Nat -> Nat'
`Succ' =
\ `$x0' :: `Nat'
`$x0' ->
`Succ' {`$x0'}
`Nill' :: `LList alpha'
`Nill' =
_/\_ `$x0' -> `Nill' {_@_ `$x0'}
`Conss' :: `alpha -> LList alpha -> LList alpha'
`Conss' =
_/\_ `$x0' -> \ `$x1' :: `$x0'
`$x1' `$x2' :: `LList $x0'
`$x2' ->
`Conss' {_@_ `$x0' `$x1' `$x2'}
Rec {
`append' :: `LList taC4 -> LList taC4 -> LList taC4'
`append' =
_/\_ `$x0' -> \ `$x1' :: `LList $x0'
`$x1' `$x2' :: `LList $x0'
`$x2' ->
case `$x1' of {
`Nill' -> `$x2';
`Conss' `$x3' `$x4' ->
let {
`$x5' :: `LList $x0'
`$x5' =
`append' _@_ `$x0' `$x4' `$x2'
} in `Conss' {_@_ `$x0' `$x3' `$x5'};
}
end Rec }
`FF' :: `Boolean'
`FF' =
`FF' {}
`TT' :: `Boolean'
`TT' =
`TT' {}
`$d6' :: `{PrelBase.Eval Boolean}'
`$d6' =
`PrelBase.void'
`$d3' :: `{PrelBase.Eval Nat}'
`$d3' =
`PrelBase.void'
================================================================================
Simplified:
Rec {
`$g0' :: `GHC.Int# -> PrelBase.Int'
`$g0' =
\ `$x0' :: `GHC.Int#'
`$x0' ->
case# `$x0' of {
0 -> `PrelBase.I#' {2};
`$x1' ->
case `$g0' `$x0' of { `PrelBase.I#' `$x2' ->
case# *#! `$x2' `$x0' of { `$x3' -> `PrelBase.I#' {`$x3'};};};
}
end Rec }
`fact' :: `PrelBase.Int -> PrelBase.Int'
`fact' =
\ `$x0' :: `PrelBase.Int'
`$x0' ->
case `$x0' of { `PrelBase.I#' `$x1' -> `$g0' `$x1';}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment