ucsd-progsys/liquidhaskell — pull request #52 by gridaphobe (2013-04-11 01:51:47+00:00)
Title: Show bots

Ugh this turned out to be quite annoying. For some reason not all exported `Var`s are being tagged as exported, i.e. in

```haskell
module Foo where

foo = 1 : foo
```

`foo` is not tagged as exported...

For the time being I've rigged it to complain about all `false`s in the module, which is a bit redundant. I'd like to figure out exactly what's going on at some point, but for now I think the current output, albeit noisy, will suffice.