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

Support single recursion #8

Closed

nachivpn opened this issue Feb 12, 2018 · 3 comments

Labels

feature

Owner

nachivpn commented Feb 12, 2018

Do a pre-pass and assign a fresh type to each function in the environment before attempting to infer the types of each function

nachivpn added the feature label

Owner Author

nachivpn commented Feb 16, 2018

Added by a134bcd

nachivpn mentioned this issue

Type of polymorphic function is specialized after application #11

Closed

Owner Author

nachivpn commented Feb 27, 2018

waiting for #15

Owner Author

nachivpn commented Mar 14, 2018

Looks good from 776efa3#diff-211d705a40cd21ce76dbda45058c4449 and 776efa3#diff-935a19042464cf8bb2fa6bb1645f4a99

nachivpn closed this as completed

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