eta expansion should not precede empty application #179

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

adriaanm opened this issue Jul 12, 2016 · 1 comment

Assignees

Milestone

Contributor

adriaanm commented Jul 12, 2016

see SI-7187

adriaanm added this to the 2.12.0-RC1 milestone

adriaanm self-assigned this

retronym mentioned this issue

SI-7187 deprecate eta-expansion of arity 0 #152

Closed

Contributor Author

adriaanm commented Jul 12, 2016

dupe

adriaanm closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment