ucsd-progsys/liquidhaskell — pull request #41 by HaskellElephant (2013-03-03 13:11:16+00:00)
Title: Fixed imports in Liquid.hs

Hi, It seems that `showFix` was left out from the imports in `Liquidhaskell.hs`. This leads to the compile error

Liquid.hs:53:33: Not in scope: `showFix'

The commit adds showFix to the imports from `Language.Fixpoint.Types` to fix this issue.