search

haskell-suite / haskell-names

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

Doesn't resolve TemplateHaskell splices and top-level usages #98

Open chshersh opened 7 years ago

chshersh commented 7 years ago

I can imagine that full support of -XTemplateHaskell is big work. Though it would be good to make it work for at least several common cases like these ones:

{-# LANGUAGE TemplateHaskell #-}
data Foo = Foo { _foo :: () }
makeLenses ''Foo     -- 1 option
$(makeLenses ''Bar)  -- 2 option

Now there's no way to observe makeLenses from Scoped annotations. There only Scoped None instead of something like Scoped GlobalSymbol ....