ucsd-progsys/liquidhaskell — pull request #68 by leepike (2013-04-26 00:38:02+00:00)
Title: Added "other-modules" to cabal file.

I forgot: unless I add the other modules that exposed modules depend on, you'll get strange linker errors from GHC.

I'm not sure if I tracked them all down, but this was sufficient to load Language.Haskell.Liquid.Prelude .