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 t

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 a

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 r

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) dependenci

Re: GADT Type Checking GHC 6.10 versus older GHC

2008-11-22 Thread Dominic Steinitz
Dominic Steinitz 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: 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 ove

Re: GADT Type Checking GHC 6.10 versus older GHC

2008-11-22 Thread Dominic Steinitz
Jason Dagit codersbase.com> writes: > > > On Fri, Nov 21, 2008 at 8:57 AM, Simon Peyton-Jones microsoft.com> wrote: > You need a type signature for the case expression. As Daniel says, this is worth a readhttp://haskell.org/haskellwiki/Upgrading_packages%23Changes_to_GADT_matching#Changes_to_