diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2017-04-18 16:33:38 -0400 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2017-04-24 16:34:26 -0400 |
| commit | 583fa9e3687b49d8c779e6d53a75af9276e4f5cf (patch) | |
| tree | b677845bc133aeea6ef657ef29c8df716acda623 /ghc | |
| parent | cd10a23282499b474cedeb4f63f92e70ed9718f3 (diff) | |
| download | haskell-583fa9e3687b49d8c779e6d53a75af9276e4f5cf.tar.gz | |
core-spec: Simplify the handling of LetRec
We do not need to keep an enrivonment around to implement letrec, as
long as we only do call-by-name. Instead, evaluate letrec by
substituting for all the variables with their RHS wrapped in the letrec
binding.
Since nothing adds to the enrivonment any more, there is no need for a
S_Var rule.
Differential Revision: https://phabricator.haskell.org/D3466
Diffstat (limited to 'ghc')
0 files changed, 0 insertions, 0 deletions