Manually extract annotations for .hsig files
Manually extract annotations for .hsig files

GHC throws them away when typechecking .hsig or .hs-boot files (see
ticket #10621 on Trac). Work around this by simply running tcAnnotations
ourselves when we detect this case.

spinda/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell