Re: Unprincipled defaults

2016-09-02 Thread David Feuer
Whoa. I was far too confident that wouldn't work! On Sep 2, 2016 12:39 PM, "Richard Eisenberg" wrote: > I feel like I must be missing something, but what's wrong with > > class Semigroup1 f where > op :: f a -> f a -> f a > > default op :: Monoid (f a) => f a -> f a -> f a > op = (<>) > >

Re: Unprincipled defaults

2016-09-02 Thread Richard Eisenberg
I feel like I must be missing something, but what's wrong with > class Semigroup1 f where > op :: f a -> f a -> f a > > default op :: Monoid (f a) => f a -> f a -> f a > op = (<>) ? Does that do what you like? Richard > On Sep 1, 2016, at 11:15 PM, David Feuer wrote: > > On occasion,

Re: Build GHC on Windows using Hadrian and Stack

2016-09-02 Thread Edward Z. Yang
Nice work! Edward Excerpts from Andrey Mokhov's message of 2016-09-02 02:45:58 +: > Hi all, > > Summary: Building GHC on Windows using Hadrian and Stack got even simpler - > see https://github.com/snowleopard/hadrian/blob/master/doc/windows.md. > > > To build GHC on Windows you usually ne