Hello,
I'm wondering whether annotations [1] could be made available to
Template Haskell users as a ghc specific extension.
Would that be feasible? Would it be useful?
An example use would be annotating a type with a representation of a
default value that could be used in generating instances fo
On 06/03/2010 18:43, Antoine Latter wrote:
Including ghc-users.
On Sat, Mar 6, 2010 at 11:57 AM, Joachim Breitner wrote:
Hi,
in Debian, we are having some problems building large libraries (such as
agda, highlighting-kate, xmonad-contrib) on weaker architectures (sparc,
armel, s390) which com
On 08/03/2010 13:30, Joachim Breitner wrote:
Hi Simon,
Am Montag, den 08.03.2010, 11:07 + schrieb Simon Marlow:
On Sat, Mar 6, 2010 at 11:57 AM, Joachim Breitner wrote:
Hi,
in Debian, we are having some problems building large libraries (such as
agda, highlighting-kate, xmonad-contrib)
I see. The type inference algorithm requires type variables to betype
constructors, not functions. Equality constraints aresimplified assuming that
is the case. I knew that typefunctions had to be fully applied, but I didn't
know that they alsocouldn't be "taken apart" by unification. This
(Hotmail is again swallowing newlines--sorry for the re-post)
I see. The type inference algorithm requires type variables to be
type constructors, not functions. Equality constraints are
simplified assuming that is the case. I knew that type
functions had to be fully applied, but I didn't know
