Re: Chairship / responsibility

On Sat, 30 Apr 2016 10:03:55 +0200, Herbert Valerio Riedel wrote: Hello *, : | In consultation with the current members of the Haskell Prime | committee (and Simon PJ), I have volunteered as chair to "reboot" the | process and get things rolling again. : I think it's

Re: Infrastructure & Communication

On Sun, 01 May 2016 00:22:44 +0200, Austin Seipp wrote: : - It has strong access control mechanisms. This means the Prime committee can do things like have private discussion, outside of usual e.g. email. I know people are intimately leery of this, but I think in

RE: The GADT debate

Do you really need that many type signatures? I remember trying to work out what extra information is needed when type checking case with dependent types. If memory serves, you can get by with just specifying the single (type) function that is instantiated in each arm and in the conclusion.

RE: Are there GHC extensions we'd like to incorporate wholesale?

Just to be clear, MonoLocalBinds, as implemented, does not apply to local bindings that could equally well have been written at top level; that is, they do not mention any locally-bound variables (except other local bindings that could themselves be floated). So you are at liberty to use where