hasufell/ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'ghc-8' into release-5.6.0.0

Browse Source
This commit is contained in:
Nikolay Yakimov 2016-07-10 16:15:29 +03:00
commit e7c571172f
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
Language/Haskell/GhcMod/SrcUtils.hs
View File

@ -66,6 +66,20 @@ collectSpansTypes withConstraints tcs lc =
hsBind (L _ G.AbsBinds{abs_exports = es'}) s hsBind (L _ G.AbsBinds{abs_exports = es'}) s
| withConstraints = (return [], foldr insExp s es') | withConstraints = (return [], foldr insExp s es')
| otherwise = (return [], s) | otherwise = (return [], s)
#if __GLASGOW_HASKELL__ >= 800
-- TODO: move to Gap
-- Note: this deals with bindings with explicit type signature, e.g.
-- double :: Num a => a -> a
-- double x = 2*x
hsBind (L _ G.AbsBindsSig{abs_sig_export = poly, abs_sig_bind = bind}) s
| withConstraints =
let new_s =
case bind of
G.L _ G.FunBind{fun_id = i} -> M.insert (G.unLoc i) (G.varType poly) s
_ -> s
in (return [], new_s)
| otherwise = (return [], s)
#endif
-- Otherwise, it's the same as other cases -- Otherwise, it's the same as other cases
hsBind x s = genericCT x s hsBind x s = genericCT x s
-- Generic SYB function to get type -- Generic SYB function to get type