-
Jeff Lewis authored
Fix a couple of bugs affecting implicit params. With implicit params, you can have a rho type w/o being a forall type.
8166bb6c
Fix a couple of bugs affecting implicit params. With implicit params, you can have a rho type w/o being a forall type.