search

isovector / haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Apache License 2.0
0 stars 2 forks source link

Polymorphic instantiation #27

Closed isovector closed 3 years ago

isovector commented 3 years ago

If we have f :: forall a. a -> res in scope where res matches the goal, we should be able to instantiate it as f _ where the hole has a new univar.

If we have f :: forall r. a -> r we should also be able to instantiate it at f _.