Re: GADT Type Checking GHC 6.10 versus older GHC

2008-11-22 Thread Dominic Steinitz
Jason Dagit dagit at codersbase.com writes: On Fri, Nov 21, 2008 at 8:57 AM, Simon Peyton-Jones simonpj at microsoft.com wrote: You need a type signature for the case expression. As Daniel says, this is worth a

Re: Exporting an #include from one package to another?

2008-11-22 Thread Duncan Coutts
On Fri, 2008-11-21 at 18:28 -0800, Conal Elliott wrote: Is there a way to package up an #include like to share across (be #include'd into) various other haskell packages? I have some standard templates for type class instances that I can't define as instances without creating lots of

Re: GADT Type Checking GHC 6.10 versus older GHC

2008-11-22 Thread Dominic Steinitz
Dominic Steinitz dominic.steinitz at blueyonder.co.uk writes: packaged form for my flavour of linux. I will put some work into doing this today and report back. Dominic. Phew - I installed the windows 6.10.1 package and everything to do with GADTs still seems to work. Dominic.

Re: ANNOUNCE: GHC version 6.10.1 - EditLine / terminal incompatibility?

2008-11-22 Thread Duncan Coutts
On Fri, 2008-11-21 at 14:01 +, Simon Marlow wrote: I propose we do this: * extract the GHCi UI from the GHC package, put it in the ghc-bin package (maybe we should rename this package to ghc-main or something). This removes the editline and bytestring (for now) dependencies

Re: Unicode's greek lambda

2008-11-22 Thread Colin Paul Adams
Arnar == Arnar Birgisson [EMAIL PROTECTED] writes: Arnar To clarify - most of modern fonts do in deed have Arnar latin-greek-cyrillic (including the U+03BB lambda), but I Arnar was referring to the specific math symbols such as the Arnar U+1D6CC bold lam(b)da, which reside in the

Re: cross module optimization issues

2008-11-22 Thread Don Stewart
jwlato: On Wed, Nov 19, 2008 at 4:17 PM, Simon Peyton-Jones [EMAIL PROTECTED] wrote: | I'm compiling with -O2 -Wall. After looking at the Core output, I | think I've found the key difference. A function that is bound in a | where statement is different between the monolithic and split

Re: Unicode's greek lambda

2008-11-22 Thread Brandon S. Allbery KF8NH
On 2008 Nov 22, at 12:12, Colin Paul Adams wrote: Arnar == Arnar Birgisson [EMAIL PROTECTED] writes: Arnar To clarify - most of modern fonts do in deed have Arnar latin-greek-cyrillic (including the U+03BB lambda), but I Arnar was referring to the specific math symbols such as the