Type variables resolution

Question

UnkindPartition opened this issue 12 years ago · 2 comments

Answer 1 · 2014-04-29T07:59:01.000Z

Why is this low priority?

Answer 2 · 2014-04-29T08:37:35.000Z

"Low priority" for me, not for the project. If you or someone else implement this, I'd be happy to merge.

For me it's low priority because:

it's not required by any of the things I'm doing with haskell-names
it's somewhat tricky to implement (type vars may be implicitly bound, and their scope may escape the subtree where they are bound)
it's mostly useful for type checking, but I'm not aware of any ongoing efforts to do typechecking on top of haskell-names/haskell-src-exts.