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.

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

Extended SML support #198

Merged
merged 4 commits into from
Jan 9, 2018
Merged

Extended SML support #198

merged 4 commits into from
Jan 9, 2018

Conversation

netromdk
Copy link
Contributor

@netromdk netromdk commented Jan 9, 2018

I've extended the SML support for type (in addition to datatype), structure, signature, and functor. And better matching regexes for variables and functions, too.

@coveralls
Copy link

coveralls commented Jan 9, 2018

Coverage Status

Coverage remained the same at 97.081% when pulling 6a79755 on netromdk:sml_struct into b411e11 on jacktasia:master.

Copy link
Owner

@jacktasia jacktasia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome, Thanks!

@jacktasia jacktasia merged commit a2bcfd3 into jacktasia:master Jan 9, 2018
@netromdk netromdk deleted the sml_struct branch January 9, 2018 21:45
netromdk added a commit to netromdk/dumb-jump that referenced this pull request Jan 22, 2018
* Support SML structure, signature, and functor as modules

* Group type and datatype

* Match variable sigs

* Match functions broader
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.

3 participants