RE: GHC 6.6 GADT type unification vs GHC 6.8

2008-07-29 Thread Simon Peyton-Jones
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 scrutinee * the type of the result of the case * the types of any free

ghci and source files

2008-07-29 Thread Johannes Waldmann
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Dear all, how does ghci (actually, the ghc API functions) access the file system? (It needs to check whether source files had been updated.) Is it possible to insert an abstraction layer there? E.g. imagine the sources are not on the file system, but

Re: GHC 6.6 GADT type unification vs GHC 6.8

2008-07-29 Thread Jason Dagit
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 scrutinee

RE: GHC 6.6 GADT type unification vs GHC 6.8

2008-07-29 Thread Simon Peyton-Jones
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 what I describe below is a restriction of the system described in the POPL'06 paper

Re: GHC 6.6 GADT type unification vs GHC 6.8

2008-07-29 Thread Jason Dagit
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 what I

Re: GHC 6.8.3 in Debian?

2008-07-29 Thread Ian Lynagh
On Thu, Jul 17, 2008 at 05:53:07PM +1000, Peter Gammie wrote: Ian - how long until GHC 6.8.3 makes it into Debian's unstable repository? Not for a while - doing it now would make it harder to do any fixes needed for the next Debian release, which will include 6.8.2. Thanks Ian

Re: ghci and source files

2008-07-29 Thread Daniel Gorín
Hi If you just want to compile from (Eclipse) edit buffers instead of source files, I think you can do this with the ghc api. Look at the Target type. The following is pasted from main/HscTypes.lhs -- | A compilation target. -- -- A target may be supplied with the actual text of the --

Re: ghci and source files

2008-07-29 Thread Johannes Waldmann
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 data Target = Target TargetId (Maybe (StringBuffer,ClockTime)) looks great. How is this intended to be used, i.e. what should happen if there is an edit/save event in the IDE? Then the IDE constructs a new StringBuffer from the buffer contents and

Re: ghci and source files

2008-07-29 Thread Daniel Gorín
On Jul 29, 2008, at 2:43 PM, Johannes Waldmann wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 data Target = Target TargetId (Maybe (StringBuffer,ClockTime)) looks great. How is this intended to be used, i.e. what should happen if there is an edit/save event in the IDE? Then the IDE

Retainer profiling -- too slow?

2008-07-29 Thread Tim Chevalier
Hi all, Are there any known problems with retainer profiling in GHC 6.8.2? I have a program that takes 3 minutes to run with normal profiling enabled (+RTS -P -RTS), but with +RTS -P -hr -RTS, it's 20 minutes and counting. I can tell that progress is being made since the .hp file keeps getting