Re: Proposal: Num instance for tuples

2012-11-01 Thread Twan van Laarhoven
On 18/10/12 11:58, Twan van Laarhoven wrote: Dear list, One piece of utility code that I find myself writing over and over again is the pointwise Num instance for tuples, i.e. Discussion period: 2 weeks, ends 2012-11-01. The discussion period is over, and it seems that most people are

Proposal: Num instance for tuples

2012-10-18 Thread Twan van Laarhoven
Dear list, One piece of utility code that I find myself writing over and over again is the pointwise Num instance for tuples, i.e. instance (Num a, Num b) => Num (a,b) where fromInteger x = (fromInteger x, fromInteger x) (a,b) + (a',b') = (a + a', b + b') (a,b) - (

darcs patch: Fix warnings (part 2)

2008-02-03 Thread Twan van Laarhoven
Hi, Here are some more warnings fixing patches. I also did some minor cleanup and 'monadification' of parser/RdrHsSyn. Fixing all the warnings in the parser and lexer is not possible, because alex and happy get in the way. Perhaps they sould be fixed to produce warning free code. Twan war

Result of match_kind, am I reading this correctly?

2008-01-26 Thread Twan van Laarhoven
Hello, While fixing 'unused binding' warnings in compiler/types/Unify.lhs I came across the following in the function match (line 163): -> do { subst1 <- match_kind menv subst tv1 ty2 ; return (extendVarEnv subst tv1' ty2) } Since the new substitution is not used

mailing list problems: "The message headers matched a filter rule"

2008-01-26 Thread Twan van Laarhoven
I have no idea what the problem could be. What kind of filter rules are in place? For completeness, the headers are: Message-ID: <[EMAIL PROTECTED]> Date: Sat, 26 Jan 2008 02:38:40 +0100 From: Twan van Laarhoven <[EMAIL PROTECTED]> User-Agent: Mozilla/5.0 (Windows; U; Windows N