Re: Equality constraints (~): type-theory behind them

On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden wrote: > So the paper's main motivation is wrt Trac #9670. Are you sure you mean #9670? https://ghc.haskell.org/trac/ghc/ticket/9670 is "Make Data.List.tails a good producer for list fusion" and has nothing to do with functional dependencies.

Re: DeriveFoldable treatment of tuples is surprising

> there is a fair bit of user code for things like vector types that do things like newtype V3 a = V3 (a,a,a,a) ^ 1 2 3 4(!?) Oh boy, I sure hope not ;) On Wed, Mar 22, 2017 at 8:14 AM Sven Panne wrote: > 2017-03-21 22:29 GMT+01:00 Edward Kmett

Re: suppress warning "Defined but not used: type variable ‘x’" in GHC-8.0

Inferred types and errors too, I would imagine. On Sun, 17 Jan 2016 2:45 pm Edward Kmett wrote: > Moreover those _'d type variables would infect all of our haddocks. > ___ > Glasgow-haskell-users mailing list >

Re: [Haskell-cafe] [Haskell-beginners] DOOM rewritten in the Haskell programming language.

On Sun, Dec 6, 2015 at 5:19 PM Henk-Jan van Tuyl wrote: > On Sun, 06 Dec 2015 16:21:15 +0100, David Blubaugh > wrote: > > > TO ALL, > > Hello My name is David Allen Blubaugh. I am currently considering > > starting a kick-starter project in

Re: Overloaded record fields

On 06/24/2013 08:44 AM, Adam Gundry wrote: Hi everyone, I am implementing an overloaded record fields extension for GHC as a GSoC project. Thanks to all those who gave their feedback on the original proposal! I've started to document the plan on the GHC wiki: