Browse Source

Fix a mistake in the language reference (#4352)

It is clear that the third rule does not contribute to the rewriting of the expression `(A (B (D 42)))` to `(C (D 42))` to `(E 42)`.
pull/4355/head
Waleed Dahshan 2 years ago
committed by GitHub
parent
commit
688168b4d7
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      cranelift/isle/docs/language-reference.md

2
cranelift/isle/docs/language-reference.md

@ -359,7 +359,7 @@ For a simple example, consider the following rules:
```
This set of rules will rewrite `(A (B (D 42)))` to `(C (D 42))`, then
to `(E 42)` (via the first and third rules respectively).
to `(E 42)` (via the first and second rules respectively).
How is this useful? First, rewriting one term to another (here, `C` at
the top level) that in turn appears in the left-hand side of other

Loading…
Cancel
Save