basic support from defining Haskell to Logic translation

Good catch! Thanks @gridaphobe! No hard wired paths...

> On Dec 10, 2014, at 8:26 PM, Eric Seidel <notifications@github.com> wrote:
> 
> In src/Language/Haskell/Liquid/GhcInterface.hs:
> 
> >        liftIO              $ whenLoud $ putStrLn $ "Module Imports: " ++ show imps
> >        hqualFiles         <- moduleHquals modguts paths target imps incs
> >        return              $ GI hscEnv coreBinds derVs impVs letVs useVs hqualFiles imps incs spec 
> >  
> > +
> > +coreToLogicFileName = "include/CoreToLogic.lg"
> > +
> > +makeLogicMap 
> > +  = parseSymbolToLogic coreToLogicFileName <$> (liftIO $ readFile coreToLogicFileName)
> This needs to use Paths_liquidhaskell.getDataFileName to find the locally installed copy. Otherwise it will crash horribly when users run LH.
> 
> See https://github.com/ucsd-progsys/liquidhaskell/blob/master/src/Language/Haskell/Liquid/Misc.hs#L59-L61 for examples :)
> 
> —
> Reply to this email directly or view it on GitHub.
>