Re: how to compile non-dynamic ghc-7.8.2 ?

On Tue, Apr 29, 2014 at 10:36 AM, Simon Marlow wrote: > On 25/04/2014 02:15, John Lato wrote: > >> Hello, >> >> I'd like to compile ghc-7.8.2 with DynamicGhcPrograms disabled (on >> 64-bit linux). I downloaded the source tarball, added >> >> DYNAMIC_GHC_PROGRAMS = NO >> >> to mk/build.mk

Re: New GHC Features for 7.10.1 and Beyond

On Mon, Mar 31, 2014 at 9:37 PM, Gershom Bazerman wrote: > There's been lots of exciting work going into the forthcoming GHC 7.8.1 > release. But even with all these new features, our language is far from > complete and I wouldn't want the GHC team to rest on their laurels. > Especially with so m

Re: How to get started with a new backend?

On Jan 28, 2013, at 8:35 AM, Simon Marlow wrote: > On 28/01/13 01:15, Jason Dagit wrote: >> I would like to explore making a backend for .NET. I've done a lot of >> background reading about previous .NET and JVM attempts for Haskell. It >> seems like several f

Re: How to get started with a new backend?

On Jan 28, 2013, at 3:21 AM, Simon Peyton-Jones wrote: > I would like to explore making a backend for .NET. I've done a lot of > background reading about previous .NET and JVM attempts for Haskell. It seems > like several folks have made significant progress in the past and, with the > excep

Re: How to get started with a new backend?

On Jan 27, 2013, at 11:21 PM, David Terei wrote: > I believe that some Microsoft Research folks at Cambridge got a fairly > far along implementation of Haskell on Java or .NET many years back > but concluded it wasn't a good fit. My rusty memory of a conversation > with Simon Marlow about this

Re: How to get started with a new backend?

On Jan 27, 2013, at 10:35 PM, Christopher Done wrote: >> The trac claims that ghc can compile itself to C so that only standard gnu C >> tools are needed to build an unregistered compiler. > > Wait, it can? Where's that? Look at unregistered builds. For example: http://hackage.haskell.org/t

How to get started with a new backend?

I would like to explore making a backend for .NET. I've done a lot of background reading about previous .NET and JVM attempts for Haskell. It seems like several folks have made significant progress in the past and, with the exception of UHC, I can't find any code around the internet from the previo

Re: GADT Type Checking GHC 6.10 versus older GHC

On Mon, Nov 24, 2008 at 12:23 AM, Simon Peyton-Jones <[EMAIL PROTECTED]>wrote: >In my case, we had rigid type signatures all over the place. The wiki > document says that the type must be rigid at the point of the match. I > guess that's what we were violating. If the code I posted isn't su

Re: sum[1..100000] --> stack overflow in GHC, but not in Hugs?

On Sun, Nov 23, 2008 at 6:07 AM, Vishal Belsare <[EMAIL PROTECTED]>wrote: > Hi, > > Please bear with a very basic question. I am trying to 'learn me a > Haskell for great good' using Hutton's book and some online tutorials. > I started off with Hugs and recently used GHC (to use the 'let a = > ."

Re: GADT Type Checking GHC 6.10 versus older GHC

On Fri, Nov 21, 2008 at 8:57 AM, Simon Peyton-Jones <[EMAIL PROTECTED]>wrote: > You need a type signature for the case expression. As Daniel says, this is > worth a read > > http://haskell.org/haskellwiki/Upgrading_packages%23Changes_to_GADT_matching#Changes_to_GADT_matching Thanks Simon. I ha

GADT Type Checking GHC 6.10 versus older GHC

Hello, Here is an example where ghc 6.8.x was fine, but now 6.10 complains. \begin{code} type CommuteFunction = forall x y. (Prim :< Prim) C(x y) -> Perhaps ((Prim :< Prim) C(x y)) commute_split :: CommuteFunction commute_split (Split patches :< patch) = toPerhaps $ do (p1 :< ps) <- cs (patc

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer

On Fri, Nov 21, 2008 at 7:04 AM, Christian Maeder <[EMAIL PROTECTED]> wrote: > Jason Dagit wrote: >> On Fri, Nov 21, 2008 at 6:10 AM, Christian Maeder >> <[EMAIL PROTECTED]> wrote: >>> Also note that gmp.h will not be found without: >>> >>>

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer

On Fri, Nov 21, 2008 at 6:56 AM, Gregory Wright <[EMAIL PROTECTED]> wrote: > > Hi Jason, > > On Nov 21, 2008, at 8:09 AM, Jason Dagit wrote: > >> On Wed, Nov 19, 2008 at 1:28 AM, Manuel M T Chakravarty >> <[EMAIL PROTECTED]> wrote: >>> >>

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer

On Fri, Nov 21, 2008 at 6:10 AM, Christian Maeder <[EMAIL PROTECTED]> wrote: > Also note that gmp.h will not be found without: > > export CPATH=/opt/local/include > > This directory should be part of the "include-dirs:" for the rts > package. And again the file /opt/local/include/gmp.h could be si

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer

On Wed, Nov 19, 2008 at 1:28 AM, Manuel M T Chakravarty <[EMAIL PROTECTED]> wrote: > Jason Dagit: > > On Wed, Nov 5, 2008 at 5:36 PM, Manuel M T Chakravarty > <[EMAIL PROTECTED]> wrote: >> >> Ian Lynagh: >>> >>> On Tue, Nov 04, 2008 at 09:02:12

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer

On Wed, Nov 5, 2008 at 5:36 PM, Manuel M T Chakravarty <[EMAIL PROTECTED] > wrote: > Ian Lynagh: > > On Tue, Nov 04, 2008 at 09:02:12PM -0500, Brandon S. Allbery KF8NH wrote: >> >>> On 2008 Nov 4, at 20:26, Jason Dagit wrote: >>> >>>> On

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer

On Tue, Nov 4, 2008 at 4:26 PM, Manuel M T Chakravarty <[EMAIL PROTECTED]> wrote: > Jason Dagit: >> >> On Tue, Nov 4, 2008 at 10:11 AM, Ian Lynagh <[EMAIL PROTECTED]> wrote: >>> >>> How to get it >>> ~ >>> >>>

Re: ANNOUNCE: GHC version 6.10.1

On Tue, Nov 4, 2008 at 10:11 AM, Ian Lynagh <[EMAIL PROTECTED]> wrote: > > How to get it > ~ > > The easy way is to go to the web page, which should be self-explanatory: > >http://www.haskell.org/ghc/ > > We supply binary builds in the native package format for many > platforms,

Re: Control.Exception

On Tue, Nov 4, 2008 at 2:47 AM, Simon Marlow <[EMAIL PROTECTED]> wrote: > Jason Dagit wrote: >> Thanks. This helps a lot. Mind if I put it somewhere, such as on the >> wiki? > > A good description of how to deal with exceptions would be great to have in >

Re: Control.Exception

On Mon, Nov 3, 2008 at 6:24 AM, Simon Marlow <[EMAIL PROTECTED]> wrote: > Jason Dagit wrote: >> >> On Wed, Oct 8, 2008 at 1:19 AM, Simon Marlow <[EMAIL PROTECTED]> wrote: >>> >>> Johannes Waldmann wrote: >>>> >>>> with 6.10, the

Re: Control.Exception

On Wed, Oct 8, 2008 at 1:19 AM, Simon Marlow <[EMAIL PROTECTED]> wrote: > Johannes Waldmann wrote: >> >> with 6.10, the following does not typecheck: >> >> foo `Control.Exception.catch` \ _ -> return bar >> >> Ambiguous type variable `e' in the constraint: >> `Control.Exception.Exception e' >>

Re: Type classes in GADTs

On Wed, Oct 29, 2008 at 10:20 PM, C Rodrigues <[EMAIL PROTECTED]> wrote: > > I discovered that closed type classes can be implicitly defined using GADTs > The GADT value itself acts like a class dictionary. However, GHC (6.83) > doesn't know anything about these type classes, and it won't infer

Re: gadt changes in ghc 6.10

On Tue, Oct 14, 2008 at 6:37 PM, Daniel Gorín <[EMAIL PROTECTED]> wrote: > > On Oct 14, 2008, at 10:19 PM, Jason Dagit wrote: > > > On Tue, Oct 14, 2008 at 7:27 AM, Daniel Gorín <[EMAIL PROTECTED]> wrote: > >> Hi >> >> After installing ghc 6.10

Re: gadt changes in ghc 6.10

On Tue, Oct 14, 2008 at 7:27 AM, Daniel Gorín <[EMAIL PROTECTED]> wrote: > Hi > > After installing ghc 6.10-rc, I have a program that no longer compiles. I > get the dreaded "GADT pattern match" error, instead :) > > Here is a boiled-down example: > > {-# OPTIONS_GHC -XGADTs -XEmptyDataDecls #

Inferred type is less polymorphic than expected, depends on order

I was wondering if someone could help me understand why reording the case statements changes the type inference for this code. 1) I find the error message a bit confusing. 2) I don't understand why it's a problem in one order and not the other. I've tried to send this as literate haskell in hopes

Re: GADTs and functional dependencies

On Tue, Sep 23, 2008 at 9:07 AM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > Hello, > > please consider the following code: > >> {-# LANGUAGE GADTs, MultiParamTypeClasses, FunctionalDependencies #-} >> >> data GADT a where >> >> GADT :: GADT () >> >> class Class a b | a -> b >> >> instance Cl

Re: GADTs and functional dependencies

On Tue, Sep 23, 2008 at 9:36 AM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > Am Dienstag, 23. September 2008 18:19 schrieben Sie: >> On Tue, Sep 23, 2008 at 6:07 PM, Wolfgang Jeltsch >> >> <[EMAIL PROTECTED]> wrote: >> > Hello, >> > >> > please consider the following code: >> >> {-# LANGUAGE GADT

Re: GADTs and functional dependencies

On Tue, Sep 23, 2008 at 9:36 AM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > Am Dienstag, 23. September 2008 18:19 schrieben Sie: >> On Tue, Sep 23, 2008 at 6:07 PM, Wolfgang Jeltsch >> >> <[EMAIL PROTECTED]> wrote: >> > Hello, >> > >> > please consider the following code: >> >> {-# LANGUAGE GADT

Re: Instances and DoCon

On Sat, Sep 20, 2008 at 12:52 AM, Serge D. Mechveliani <[EMAIL PROTECTED]> wrote: > On Fri, Sep 19, 2008 at 08:17:12PM +0100, Ian Lynagh wrote: >> On Tue, Sep 16, 2008 at 10:44:53AM +0100, Simon Peyton-Jones wrote: >> > | >> > | And still ghc-6.8.3 builds itself from source. >> > >> > I have no id

Re: GADT problems

On Mon, Sep 15, 2008 at 4:18 AM, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > > If you can suggest improvements to the manual I'm all ears. Notably, it says > nothing about what "rigid" means or how it propagates. A good solid definition of rigid would be nice. You pointed me at a paper on w

Re: Version control systems

On Wed, Aug 13, 2008 at 1:54 AM, Malcolm Wallace < [EMAIL PROTECTED]> wrote: > Manuel wrote: > > | It is worth pointing out that I *never* validate against ghc head when >>> | I commit to the core libraries. >>> >> > Sorry, but I think the only reason its halfway acceptable is that Malcolm >> di

Re: Version control systems

2008/8/11 Thomas Schilling <[EMAIL PROTECTED]> > > (I am also no longer convinced that Darcs' automatic patch dependency > calculations are actually a good idea. Just because two patches don't touch > the same files, doesn't mean they aren't semantically dependent. Take for > example "monadifica

Re: Version control systems

On Sat, Aug 9, 2008 at 10:44 PM, Roman Leshchinskiy <[EMAIL PROTECTED]>wrote: Maybe investing some time in fixing the most obvious darcs problems would be > a better solution? We're working on that over at Darcs HQ, but there is no guarantee that we'd come close to fixing the problems within the

Re: GHC 6.6 GADT type unification vs GHC 6.8

On Tue, Jul 29, 2008 at 7:40 AM, Simon Peyton-Jones <[EMAIL PROTECTED]>wrote: > Thanks, this makes sense and helps. Is this described in the wobbly > types paper, or is paper covering a different topics? I would like to have > a cite-able reference. > > Excellent question. I believe that wha

Re: GHC 6.6 GADT type unification vs GHC 6.8

On Tue, Jul 29, 2008 at 1:07 AM, Simon Peyton-Jones <[EMAIL PROTECTED]>wrote: > GHC 6.6 was a bit more generous than GHC 6.8, but erroneously so. > Specifically, GHC 6.8 and all subsequent versions require that when you > pattern match on a value of GADT type, > > · the type of the scru

GHC 6.6 GADT type unification vs GHC 6.8

Hello, I was wresting with the problem of converting our type witness code in darcs to work with ghc 6.8 and it occurred to me that someone has probably document the change somewhere. In particular, I'm seeing this error message a lot, but 6.6 doesn't give this message: GADT pattern match in