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

Tilde fix #1050

Closed
wants to merge 7 commits into from
Closed

Tilde fix #1050

wants to merge 7 commits into from

Conversation

ChrisJefferson
Copy link
Contributor

Fixes #1049 (users can assign ~).

This is built on top of #490, so that should be merged first (if that gets rejected, or edited, I will adjust this as appropriate).

Add support for functions of the form {x,y} -> result. This is
actually a very small change, most of the code churn is seperating
out function argument parsing so it can be used in both traditional
functions and lambda functions.
@fingolfin
Copy link
Member

@ChrisJefferson there are some errors in the tests, according to Travis..

@ChrisJefferson
Copy link
Contributor Author

Bah, this is some different, old errors. (We leave ~ with a bad value in the case we escape a setjmp/longjmp loop).

@ChrisJefferson
Copy link
Contributor Author

Hopefully fixed after this patch filters through.

@codecov-io
Copy link

Current coverage is 50.43% (diff: 87.40%)

Merging #1050 into master will increase coverage by 0.01%

@@             master      #1050   diff @@
==========================================
  Files           424        424          
  Lines        223027     223041    +14   
  Methods        3429       3433     +4   
  Messages          0          0          
  Branches          0          0          
==========================================
+ Hits         112445     112488    +43   
+ Misses       110582     110553    -29   
  Partials          0          0          

Powered by Codecov. Last update 4a3737f...0d0dcc1

@fingolfin
Copy link
Member

Rebased version is now in master as 51e8c0b

@fingolfin fingolfin closed this Jan 25, 2017
@fingolfin
Copy link
Member

I also tweaked two commit messages: One to reference issue #1049, the other for brevity

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