Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
rewrite rules
rewrite rules
· Changes
Page history
Re-run import
authored
Mar 29, 2019
by
Tobias Dammers
Hide whitespace changes
Inline
Side-by-side
rewrite-rules.md
View page @
cc1a7a6a
...
@@ -11,9 +11,11 @@ We recently made the rule-matcher able to "look through" lets, thus
...
@@ -11,9 +11,11 @@ We recently made the rule-matcher able to "look through" lets, thus
Expression: f (let v = e in g v)
Expression: f (let v = e in g v)
```
```
>
>
>
> The rule will still match, giving
> The rule will still match, giving
>
>
>
> ```wiki
> ```wiki
> let v = e in rhs[v/x]
> let v = e in rhs[v/x]
> ```
> ```
...
...