Daniel Casanueva
Daniel Casanueva
Those tests for applicative laws are not valid. They use 1x1 matrices, but the size must be arbitrary (within a reasonable range). `Matrix` is instance of `Arbitrary`, so it shouldn't...
Check [`CoArbitrary`](http://hackage.haskell.org/package/QuickCheck-2.8.2/docs/Test-QuickCheck-Arbitrary.html#t:CoArbitrary).
In particular, if `a` is instance of `CoArbitrary`, and `b` is instance of `Arbitrary`, then `a -> b` is instance of `Arbitrary`. In other words: `(CoArbitrary a, Arbitrary b) =>...
Yeah, you don't have to do anything. `Int` is coarbitrary, so just use the matrices with the right type (like `Matrix (Int ->Int)`).
True... The argument of the property function you are testing must be instance of `Show`(so that counterexamples show up in screen when found). At the moment, it's fine to just...
What is the result if you use the following parser configuration? ``` ParserConf { verbatimEnvironments = ["verbatim", "code"] } ``` The problem might be with the `\(_ :: SBool b)`...
Great! I'm glad that worked for you. Is the example code above enough to break the parser using default configuration?
Yes, that is certainly a bad memory usage case. I don't have much time right now to look at this, but will do as soon as I can. Thanks for...
I think you can solve this by using `newtype`. Say you want to use a certain type `T` with a different implementation of `+` and `*`. Then you create a...
While this looks reasonable, I think it might be something that would break the tests. If you submit a pull request with the change, a test will be automatically run...