... | ... | @@ -218,6 +218,8 @@ in |
|
|
|
|
|
===>
|
|
|
|
|
|
data FG a b = DoF a | DoG b
|
|
|
|
|
|
letrec
|
|
|
combined z =
|
|
|
joinrec fj x = ...gj e1...
|
... | ... | @@ -234,4 +236,7 @@ in |
|
|
... f ...
|
|
|
else
|
|
|
... g ...
|
|
|
``` |
|
|
\ No newline at end of file |
|
|
```
|
|
|
|
|
|
|
|
|
This requires a new data type, which is annnoying (and not easy in GHC). But perhaps we can use an unboxed sum type. (And an unboxed tuple for the arguments.) |