Re: GitHub pull requests

2014-10-06 Thread Andreas Abel
.a, but does it have to be this way, or can arc be instructed to not squash commits? -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.a...@gu.se http://www2.tcs.ifi.lmu.de/~abel

Re: GitHub pull requests

2014-10-05 Thread Andreas Abel
. The brightest might be up to get on track in a couple of hours, but the majority is quite hesitant towards new tools... Human condition. Cheers, Andreas -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden

Re: Aliasing current module qualifier

2014-09-29 Thread Andreas Abel
AnnoyinglyLongModuleName as M (M.length, M.null) where Cheers, hvr ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science

Re: Aliasing current module qualifier

2014-09-29 Thread Andreas Abel
, AnnoyinglyLongModuleName.null ) where length = length' null = null' length' :: a - Int length' _ = 0 null' :: a - Bool null' = (== 0) . length' On 29.09.2014 10:48, Herbert Valerio Riedel wrote: On 2014-09-29 at 10:43:28 +0200, Andreas Abel wrote: Indeed, being able to introduce

Re: Permitting trailing commas for record syntax ADT declarations

2014-09-25 Thread Andreas Abel
/listinfo/ghc-devs ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden

Re: Permitting trailing commas for record syntax ADT declarations

2014-09-24 Thread Andreas Abel
___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.a

How to catch errors/unsolved constraints from GHC type checker?

2014-09-22 Thread Andreas Abel
to continue searching? Thanks, Andreas -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.a...@gu.se http://www2.tcs.ifi.lmu.de/~abel/ ___ ghc-devs

Re: Permitting trailing commas for record syntax ADT declarations

2014-09-22 Thread Andreas Abel
+1 to leading and trailing separators. On 22.09.2014 16:01, Johan Tibell wrote: On Mon, Sep 22, 2014 at 3:57 PM, Herbert Valerio Riedel https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md Nice, style guide. I'll probably fork it for the Agda project... -- Andreas

Re: Equality check for types that respects type families? (#9582)

2014-09-18 Thread Andreas Abel
Thanks, Simon, for the quick answer (see ticket #9582). --Andreas On 17.09.2014 23:58, Andreas Abel wrote: Looking at bug #9582 Associated Type Synonyms do not unfold in InstanceSigs https://ghc.haskell.org/trac/ghc/ticket/9582 I found that the given type in an instance signature

Equality check for types that respects type families? (#9582)

2014-09-17 Thread Andreas Abel
them? Maybe the better question is where to find it, since there should be such a beast (used in the type checker somewhere to compare expected with inferred types). Cheers, Andreas (new to the GHC source code) -- Andreas AbelDu bist der geliebte Mensch. Department of Computer Science