Eric Seidel

parse . pprint != id

26

See https://github.com/ucsd-progsys/liquid-fixpoint/blob/master/tests/test.hs for a failing quickCheck property.

kvars should be functions

5

I find it quite disturbing that the following is UNSAFE ``` // This qualifier saves the day; solve constraints WITHOUT IT qualif Zog(v:a) : (10

Should `Network.AWS.Internal.HTTP.retrier` log an error each time a request fails?

1

This is the current behavior, but it seems a bit severe. I usually try to reserve error-level logging for issues that someone needs to take a look at (generally with...

Support custom QuickCheck generators

1

It would be nice if SmartCheck supported custom generators, like QuickCheck does with `forAll`. For example, I want to use SmartCheck to test an interpreter I'm working on, but I...