ucsd-progsys/liquidhaskell — pull request #199 by nikivazou (2014-04-16 06:04:38+00:00)
Title: overwrite imported type sigs using assume

See [tests/pos/Overwrite.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/overwrite/tests/pos/Overwrite.hs) where the imported sig for `Prelude.reverse` is overwritten by the `assume`d specified one.