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
-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
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
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
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
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
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
--
-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
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
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
10 matches
Mail list logo