Assumption doesn't unify like it should

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

Closed isovector closed 3 years ago

isovector commented 4 years ago

Instead it does a direct comparison of types

isovector commented 4 years ago

This might be fixed automatically by a solution to #4

isovector commented 4 years ago

This isn't an issue for type families; they turn out to compare equal. Are there any other issues?