Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Refine wildcard detection using guards in the ppx.#198

Merged
Drup merged 1 commit intomasterfrom
more_wildcard
Dec 11, 2015
Merged

Refine wildcard detection using guards in the ppx.#198
Drup merged 1 commit intomasterfrom
more_wildcard

Conversation

@Drup
Copy link
Member

@Drup Drup commented Dec 10, 2015

Should solve #197

@vasilisp
Copy link
Contributor

Looks good to me.

Drup added a commit that referenced this pull request Dec 11, 2015
Refine wildcard detection using guards in the ppx.
@Drup Drup merged commit 205e5c7 into master Dec 11, 2015
@aantron aantron deleted the more_wildcard branch October 6, 2016 00:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments