Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] pattern-matching: Cannot_flatten, maybe we can? #9650

Merged
merged 12 commits into from
Oct 21, 2020
Merged

[WIP] pattern-matching: Cannot_flatten, maybe we can? #9650

Show file tree
Hide file tree
Changes from 10 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
cc462e0
matching: document the behavior of precompile_or through an example
gasche Jun 7, 2020
31c2551
matching: more complete testsuite for do_for_multiple_match
gasche Jun 7, 2020
bd83d67
Matching.explode_or_pat: handle the case where the argument has no id
gasche Jun 7, 2020
c0d1e81
Match.do_for_multiple_match: we can always flatten
gasche Jun 7, 2020
7aa43ac
matching: towards a correctness argument for flatten_* ignoring varia…
gasche Jun 7, 2020
940149a
matching: avoid useless bindings in do_for_multiple_match
gasche Jul 6, 2020
8fc38d2
add a comment to explain what Simple.explode_or_pat does
gasche Jul 9, 2020
cbf69c7
Matching.Simple.explode_or_pat: on-demand generation of fresh identif…
gasche Jul 9, 2020
0ab43f8
matching: simplify the interface of Simple.explode_or_pat
gasche Jul 9, 2020
dacaddc
matching: clarify the ~vars argument of Simple.explode_or_pat
gasche Oct 21, 2020
b5f6cd4
testsuite: clarify the allocation behavior
gasche Oct 21, 2020
7d5f494
testsuite: include both -dlambda and -drawlambda outputs
gasche Oct 21, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
3 changes: 3 additions & 0 deletions Changes
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,9 @@ Working version

### Internal/compiler-libs changes:

- #9650: keep refactoring the pattern-matching compiler
(Gabriel Scherer, review by Thomas Refis)

### Build system:

### Bug fixes:
Expand Down