Skip to content

Import pattern alternatives #641

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
Closed
marijnh opened this issue Jul 8, 2011 · 2 comments
Closed

Import pattern alternatives #641

marijnh opened this issue Jul 8, 2011 · 2 comments

Comments

@marijnh
Copy link
Contributor

marijnh commented Jul 8, 2011

The pipe character between case patterns will mean 'match either of these', as a way associate put multiple patterns with a single body. The types and bound variables of the combined patterns should agree.
@ghost ghost assigned marijnh Jul 8, 2011
@jruderman
Copy link
Contributor

Dup of issue #449?

@eholk eholk closed this as completed Jul 8, 2011
@eholk eholk reopened this Jul 8, 2011
@marijnh
Copy link
Contributor Author

marijnh commented Jul 8, 2011

Seems so. I used the wrong search term. Closing this one.

@marijnh marijnh closed this as completed Jul 8, 2011
@marijnh marijnh removed their assignment Jun 16, 2014
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
@matthewjasper
Merge pull request rust-lang#641 from ehuss/mdbook-0.3
8e7d614 
Update to mdbook 0.3.
ZuseZ4 added a commit to EnzymeAD/rust that referenced this issue Jan 10, 2023
@ZuseZ4
Squashed 'src/tools/enzyme/' changes from 9530027bd44..13e8f32b0b4
95ecb39 
13e8f32b0b4 Merge branch 'main' into enzyme-rust
e1fe6adc4fc Updating subtree
f530741 Update build_tarballs.jl
e020a34 Add v14.0.2 to build_tarballs.jl
06a1674 Fix forward erasure (rust-lang#653)
58d27d5 Fix antialloca (rust-lang#651)
1e083a3 Fix reverse vector mode malloc (rust-lang#641)

git-subtree-dir: src/tools/enzyme
git-subtree-split: 13e8f32b0b451a0d95aadede32e9191eba66ac05
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@tgymnich
Fix reverse vector mode malloc (rust-lang#641)
1e083a3 
* Fix reverse vector mode malloc
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval @tedinski
Replace ./x.py fmt by kani-fmt script (rust-lang#761)
c72359c 
This is part of rust-lang#641
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@eholk @marijnh @jruderman