[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: No variables available for parameterised types
- Subject: Re: No variables available for parameterised types
- From: Chris Warburton
- Date: Fri, 28 Jul 2017 14:35:55 +0100
- In-reply-to: <d7b518eda6e0cc84-0-artemis@nixos>
- References: <d7b518eda6e0cc84-0-artemis@nixos>
I've removed the Ord constraint on getArbGen, and added
mkIfCxt... template haskell lines for Enumerable and CoArbitrary. This
seems to have done the trick, since we're now getting loads of theorems
involving lists and higher-order functions (e.g. map, foldl and foldr)