[WIP] Infer instantiations for polymorphic arguments to polymorphic functions [rebase of Alex Knauth's PR on bitbucket]#29

Open

SuzanneSoy wants to merge 5 commits intostchang:masterfrom

SuzanneSoy:infer-poly-4-rebase

Commits on Sep 28, 2017

lift nested foralls from function result types

AlexKnauth
authored and
SuzanneSoy
committed
infer instantiations for polymorphic arguments to polymorphic functions

AlexKnauth
authored and
SuzanneSoy
committed
Adjusted some tests for https://bitbucket.org/stchang/macrotypes/pull-requests/21 .
SuzanneSoy
committed

Commits on Sep 29, 2017