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

Declare function types #31

Open

rcdomigan opened this issue Sep 7, 2015 · 0 comments

Owner

rcdomigan commented Sep 7, 2015

I would like to be able to annotate the type of functions. I need to:

Unit-test and debug annotating an expression in the application position.
Unit-test and debug the 'Type' type
Unit-test and debug the function type constructor '->'

This is a precursor to variable arity function signatures #6, and related to improving the type reporting of wrapped C++ functions #29

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