patch applied (ghc): Type families: need to instantiate flexible skolems before other flexibles

Mon Sep 29 22:35:59 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: need to instantiate flexible skolems before other flexibles MERGE TO 6.10 M ./compiler/typecheck/TcTyFuns.lhs -36 +45 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080930053559-

patch applied (testsuite): Type families: T2627b

Mon Sep 29 22:40:17 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: T2627b A ./tests/ghc-regress/indexed-types/should_fail/T2627b.hs A ./tests/ghc-regress/indexed-types/should_fail/T2627b.stderr M ./tests/ghc-regress/indexed-types/should_fail/all.T +1 View patc

patch applied (testsuite): Type families: Tricky GADT/RankN/TF example

Mon Sep 29 20:36:44 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: Tricky GADT/RankN/TF example A ./tests/ghc-regress/indexed-types/should_compile/GADT14.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/tes

patch applied (testsuite): Type families: T2627

Mon Sep 29 19:03:17 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: T2627 A ./tests/ghc-regress/indexed-types/should_compile/T2627.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20

[nightly] 29-Sep-2008 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Mon Sep 29 18:02:05 BST 2008. checking out

[nightly] 29-Sep-2008 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Mon Sep 29 19:00:01 BST 2008. **

Re: out of memory when running haddock

2008/9/30 David Waern <[EMAIL PROTECTED]>: > Here's the reduced program: Sorry, here's the correct version (it got messed up during copy-paste): (mkGhcModule is a complete no-op, it just creates a record out of some of the typechecking results) main :: IO () main = handleTopExceptions $ do --

patch applied (testsuite): Type families: fixed GivenCheckDecomp

Mon Sep 29 07:09:57 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fixed GivenCheckDecomp M ./tests/ghc-regress/indexed-types/should_compile/all.T -1 +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080929140957-6295e-ab36d02931859e04b7db48a1b

patch applied (testsuite): Type families: T2219

Mon Sep 29 00:48:19 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: T2219 A ./tests/ghc-regress/indexed-types/should_compile/T2219.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20

patch applied (testsuite): GADTs: T2040

Mon Sep 29 00:35:35 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * GADTs: T2040 A ./tests/ghc-regress/gadt/T2040.hs M ./tests/ghc-regress/gadt/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080929073535-6295e-184732aaff5dea6e10b2023c0d30500d11dca

patch applied (ghc): Fix warnings

Mon Sep 29 07:22:27 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Fix warnings M ./compiler/typecheck/TcTyFuns.lhs -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080929142227-6295e-c8845b04b2fc5fb0008a531514c4ce768986838a.gz

patch applied (ghc): Type families: consider subst rules both way

Mon Sep 29 07:10:40 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: consider subst rules both way - applySubstFam, applySubstVarVar & applySubstVarFam need to return their second argument -to be put into the todo list- if the rule would be applicable if the equal

RE: Windows build patch

Hi > I > still don't see how 'perl' > could pick up a perl that isn't on the PATH, I suspect I had a different $PATH in both cases, one was before ICFP, one was after - and my path is fairly fluid. Thanks Neil == Plea

Re: Windows build patch

The ghc 6.8.3 perl probably shouldn't be on your PATH. $ which perl /usr/bin/perl It isn't at the moment - perhaps some other things have changed in the meantime which means its no longer required. However, I noticed that all other invokations of perl follow the pattern of ./script, and this i

RE: Windows build patch

Hi Claus, > The ghc 6.8.3 perl probably shouldn't be on your PATH. $ which perl /usr/bin/perl It isn't at the moment - perhaps some other things have changed in the meantime which means its no longer required. However, I noticed that all other invokations of perl follow the pattern of ./script,

Re: Windows build patch

The ghc 6.8.3 perl probably shouldn't be on your PATH. If it comes from the building guide step - export PATH=/cygdrive/c/ghc/ghc-6.4.1:$PATH ; for haddock, alex, happy (*) please note the comment (it seems there was a note as well but that got lost over time). As I mentioned earlier,

Windows build patch

Hi, My Windows tree still requires one patch to build successfully, which is attached. Thanks Neil > -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Mitchell, Neil > Sent: 16 September 2008 2:44 pm > To: cvs-ghc@haskell.org > Subject: RE: Windows bu

Re: Naming types

Ian Lynagh: On Fri, Sep 26, 2008 at 06:25:53PM +0100, Simon Peyton-Jones wrote: | | But then you wouldn't be able to write the current meaning of | Chan (Int ? Bool ! Emp) | with infix type variables. I am proposing a *change* from current behavior I realise that, I'm just not convinced t

RE: Naming types

| I'd have thought that good infix syntax was more important for data | constructors than type constructors, and we manage with a : prefix for | data constructors. It'd be nice at the term level too. But we don't have that choice for data constructors, whereas we do for types. People very seldo