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

Insert type signatures for top-level functions created by liftToTopLevel #16

Open

glittershark opened this issue Jan 3, 2016 · 1 comment

Contributor

glittershark commented Jan 3, 2016

Not sure how involved this would be given quantified types and whatnot, but it seems like a nice-to-have

Collaborator

alanz commented Jan 4, 2016

it is easy if things are unconstrained, otherwise it gets hard.

I suspect the best way would be to put a wildcard signature in, compile the file and see what GHC says.\

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