Tommy Bidne

If no one else is interested, I'd be happy to get started on this.

For comparison, [`splitOn`](https://hackage.haskell.org/package/text-2.0/docs/Data-Text.html#v:splitOn) (also partial) has this to say: > String to split on. If this string is empty, an error will occur. > An empty delimiter is invalid, and...

My attempts are here: - [lh-fixpoint](https://github.com/ucsd-progsys/liquid-fixpoint/compare/develop...tbidne:liquid-fixpoint:json) - [lh](https://github.com/ucsd-progsys/liquidhaskell/compare/develop...tbidne:liquidhaskell:json) The primary difference between it and yours is implementing the `readJSON` functions, and subsequent tests. This is why the diff is so...

I tried it out here: [lh](https://github.com/ucsd-progsys/liquidhaskell/compare/develop...tbidne:liquidhaskell:aeson-flag), [lh-fixpoint](https://github.com/ucsd-progsys/liquid-fixpoint/compare/develop...tbidne:liquid-fixpoint:aeson-flag) (no single module, just cpp directly where needed). It appears json is used in the following places: - Optional liquid-fixpoint output - benchmark-timings...

> @ChickenProp Given a known shrink tree, you could have a test deliberately hang on a given input, e.g. a timeout of 100 microseconds and hang for 200 after five...

Also it is probably a good idea to mention `withShrinks` in the documentation for `withShrinkTime` e.g. ```haskell -- | Set the timeout -- in microseconds -- after which the test...

I went ahead and made those changes: - Renamed `ShrinkTimeLimit --> ShrinkTimeoutMicros`. - Added wall clock test w/ cpp.

Possibly referring to long lists of constraints in multi-line mode? E.g. ```haskell -- | Do stuff constraintsOhMy :: ( Arrow c, Bifunctor c, Bounded a, Category c, Enum a, Eq...

One downside I haven't seen mentioned (just ran into this): This falls afoul of an hlint rule. For example: ```haskell foo :: (HasCallStack) => () foo = () ``` ```...

Yes, remedying this isn't as trivial as I thought (brackets on type class methods are tricky), so I would welcome a blanket rule (e.g. "Redundant constraint brackets"). That hlint already...