haskell-suite / haskell-names

Haskell suite library for name resolution
52 stars 17 forks source link

annotate names in type signatures, fix #34 #53

Closed phischu closed 10 years ago

phischu commented 10 years ago

Annotate names in a type signature by traversing them as if they were QName. Another fix would be to have TypeSig in haskell-src-exts hold a list of Qname and not of Name.

UnkindPartition commented 10 years ago

Ha, that's a clever hack.

The same thing has to be done for PatBind, doesn't it?

Also, please add a link to #34 where you apply this, so that it's clear why it's needed.

phischu commented 10 years ago

Added a link in comments and made this part of https://github.com/haskell-suite/haskell-names/pull/55. I do not understand what this has to do with PatBind though. Type signatures are independent of FunBinds and PatBinds.