Hi,
On Mon, Jan 09 2012 at 10:37 +0100, Steve Horne wrote:
> On 08/01/2012 21:13, Brandon Allbery wrote:
>>
>> (Also, de facto I think it's already more or less been decided in
>> favor of type families, just because functional dependencies are (a)
>> a bit alien [being a glob of Prolog-style logi
On Fri, Jan 20 2012 at 06:22 +0100, Evan Laforge wrote:
> On Thu, Jan 19, 2012 at 8:53 PM, Edward Z. Yang wrote:
>> It's not obvious that this should be turned on by -Wall, since
>> you would also trigger errors on uses like:
>>
>> [ x | Just x <- xs ]
> [...]
> I would have suggested that li