I've fixed these crashes. Some slightly delicate footwork around let-floating.
Please watch out in case I've done something that worsens performance; I don't
think I have, but it's all to easy to do so, so keep an eye out.
Thanks
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
Fri Feb 2 07:12:06 PST 2007 [EMAIL PROTECTED]
* Reset the demand info on bindings going to top level (since they cannot be
strict)
M ./compiler/simplCore/SetLevels.lhs -3 +5
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Fri Feb 2 07:54:52 PST 2007 [EMAIL PROTECTED]
* Don't dump floated bindings just outside a lambda
We do not want the FloatOut pass to transform
f = \x. e
to
f = let lvl = ... in \x.e
The arity pinned on f isn't right any more; and see
Note [Floating out of RHSs].
| -Original Message-
| From: Simon Marlow
| Sent: 02 February 2007 09:54
|
| We're focussed on getting 6.6.1 out of the door at the moment. We still have
61
| open tickets though, so this message is a plea for help: if you have some time
| to spare, and would like to help out, please get
Mon Feb 5 09:35:44 PST 2007 [EMAIL PROTECTED]
* Float casts out of lambdas
See Note [Casts and lambdas] in SimplUtils. I found this transformation
when staring at some cast-heavy code generated by
Language.Haskell.Lexer.hs in the haskell-src library.
The basic transformation is
Tue Feb 6 04:22:33 PST 2007 [EMAIL PROTECTED]
* Improve rule-matching for let expressions
M ./compiler/specialise/Rules.lhs -14 +31
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Feb 6 09:45:55 PST 2007 [EMAIL PROTECTED]
* Add tests for impredicativity
A ./tests/ghc-regress/boxy/Church2.stderr
A ./tests/ghc-regress/boxy/Compose.hs
M ./tests/ghc-regress/boxy/all.T -7 +8
___
Cvs-ghc mailing list
Wed Feb 7 01:49:45 PST 2007 [EMAIL PROTECTED]
* Fix bug in -ddump-minimal imports Trac #1025
The code for -ddump-minimal-imports was erroneously using loadSrcInterface,
which looks only for *exposed* modules. It should instead use
loadSysInterface
which looks for all interfaces.
Fri Feb 9 09:29:38 PST 2007 [EMAIL PROTECTED]
* Refactor the simplifier's treatment of case expressions
(NB: this patch could conceivably require some bits of the
following SpecConstr patch to compile cleanly. It's conceptually
independent, but I'm not 100% certain that I've
Fri Feb 9 09:36:45 PST 2007 [EMAIL PROTECTED]
* Major improvement to SpecConstr
This patch improves the SpecConstr pass, by
a) making it work with join points
b) making it generate specialisations transitively
As part of it, SpecConstr now carries a substitution with it,
Mon Feb 19 09:52:48 PST 2007 [EMAIL PROTECTED]
* Signature type variables must not be instantiated with tycons
An egregious bug in the type checker meant that it was possible for a
signature type variable (a MetaTv of SigTv form) to be instantatiated
with a type-constructor
Mon Feb 19 09:50:15 PST 2007 [EMAIL PROTECTED]
* Add test for Trac #1153
M ./tests/ghc-regress/typecheck/should_fail/all.T -1 +1
A ./tests/ghc-regress/typecheck/should_fail/tcfail175.hs
A ./tests/ghc-regress/typecheck/should_fail/tcfail175.stderr
Tue Feb 20 09:47:14 PST 2007 [EMAIL PROTECTED]
* Fix obscure bug in reportDeprecations
Fixes Trac #1128
Please merge to STABLE
A rather obscure bug related to -fno-implicit-prelude.
See Note [Used names with interface not loaded] in RnNames.
Easily fixed, however. Test is
Wed Feb 21 01:11:23 PST 2007 [EMAIL PROTECTED]
* Fix case-merge bug that was breaking the HEAD
My re-org of the case-merging transformation introduced a bug, which led
to incorrect code. This only showed up occasionally, but it generated
incorrect code for PprC.pprCastReg in the
Wed Feb 21 08:53:12 PST 2007 [EMAIL PROTECTED]
* Import trimming
M ./compiler/coreSyn/CorePrep.lhs -3
M ./compiler/coreSyn/CoreSyn.lhs -1
M ./compiler/specialise/Rules.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Wed Feb 21 09:04:01 PST 2007 [EMAIL PROTECTED]
* Allow GADT syntax for newtypes
Fixes Trac #1154. Please merge.
Tests are tc225, and tcfail176.
M ./compiler/typecheck/TcTyClsDecls.lhs -8 +11
___
Cvs-ghc mailing list
Fri Feb 23 05:38:01 PST 2007 [EMAIL PROTECTED]
* Allow GADT syntax for newtypes (6.6 branch only)
Fixes Trac #1154. This code has changed in the HEAD,
hence this is a branch-specific patch. The HEAD is alrady done.
M ./compiler/typecheck/TcTyClsDecls.lhs -9 +21
Fri Feb 23 06:10:32 PST 2007 [EMAIL PROTECTED]
* Tidy up typechecking for newtypes
M ./compiler/typecheck/TcTyClsDecls.lhs -33 +24
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Feb 27 15:13:13 PST 2007 [EMAIL PROTECTED]
* Make let-matching work in Rules again
A RULE is supposed to match even if there is an intervening let:
RULE f (x:xs) =
target f (let x = thing in x:xs)
It's surprisingly tricky to get this right; in effect we
Thu Mar 1 03:45:13 PST 2007 [EMAIL PROTECTED]
* Do not go into an infinite loop when pretty-printer finds a negative indent
(Trac #1176)
M ./compiler/utils/Pretty.lhs -4 +5
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Thu Mar 1 03:43:42 PST 2007 [EMAIL PROTECTED]
* Add pretty-print test
M ./tests/ghc-regress/typecheck/should_fail/all.T +1
A ./tests/ghc-regress/typecheck/should_fail/tcfail177.hs
A ./tests/ghc-regress/typecheck/should_fail/tcfail177.stderr
Mon Mar 5 22:56:41 PST 2007 [EMAIL PROTECTED]
* Simple fix for Trac #1199 (pls merge to branch)
M ./compiler/typecheck/TcSplice.lhs -7 +8
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed Mar 14 09:48:50 PDT 2007 [EMAIL PROTECTED]
* Wibble to type-error-message improvement
M ./compiler/typecheck/TcMType.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri Mar 16 06:38:22 PDT 2007 [EMAIL PROTECTED]
* Comment out debug traces
M ./compiler/iface/IfaceEnv.lhs -2 +2
M ./compiler/iface/LoadIface.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Fri Mar 16 06:38:50 PDT 2007 [EMAIL PROTECTED]
* Refactor TcRnDriver, and check exports on hi-boot files
This patch refactors TcRnDriver to make the top-level structure
easier to understand.
The change was driven by Trac #924, and this patch fixes that bug.
When comparing a
Mon Mar 19 08:19:26 PDT 2007 [EMAIL PROTECTED]
* Use explict layout (fixes breakage when compiling TcSimplify)
M ./compiler/typecheck/TcSimplify.lhs -3 +3
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Tue Mar 20 08:41:26 PDT 2007 [EMAIL PROTECTED]
* Further wibbles to checkBootIface (fixed HEAD build)
M ./compiler/typecheck/TcRnDriver.lhs -14 +20
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Folks
Sorry for the HEAD breakage when compiling GHC/Dynamic. Should be fixed now.
BUT I am deeply suspicious about GHC.Dynamic and Data.Dynamic. Both have
hs-boot files; and the hs-boot file for GHC.Dynamic SOURCE-imports the latter.
I bet we could manage perfectly well with one hs-boot
Rats. My brain is slow. I'm pushing a patch now. Sorry
S
| -Original Message-
| From: Ian Lynagh [mailto:[EMAIL PROTECTED]
| Sent: 20 March 2007 23:07
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: HEAD fixed
|
| On Tue, Mar 20, 2007 at 03:44:08PM +, Simon
Wed Mar 21 02:36:11 PDT 2007 [EMAIL PROTECTED]
* Improve pretty-printing for IfaceConDecl
M ./compiler/iface/IfaceSyn.lhs -8 +10
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed Mar 21 04:16:39 PDT 2007 [EMAIL PROTECTED]
* Wibble to GHCi part of TcRnDriver
M ./compiler/typecheck/TcRnDriver.lhs -3 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed Mar 21 04:20:57 PDT 2007 [EMAIL PROTECTED]
* Remove bogus export from TcSplice.lhs-boot
M ./compiler/typecheck/TcSplice.lhs-boot -4 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
That's odd. I'll peer at it. (Darcs is painfully-slowly getting your repo. up
to 214/1699 now, coming down at 2patches/sec.)
S
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Donald Bruce
| Stewart
| Sent: 21 March 2007 11:10
| To:
GHC should not crash.
But, as a separate matter, hs-boot files are always to be regarded with
suspicion. Why do you need Num.hs-boot. I think it's because GHC.Num imports
GHC.Show which imports GHC.List which imports Data.List.Stream. But that's
stupid. Show only uses a couple of functions
Not only that, but your boot file contained instance declarations! That's a
pretty new feature, and it didn't work right. Should be ok now.
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Donald Bruce
| Stewart
| Sent: 21 March 2007 11:10
|
Wed Mar 21 07:04:24 PDT 2007 [EMAIL PROTECTED]
* Fix checkHiBootIface for instances declared in hs-boot files
Hs-boot files can contain instance declarations, but Duncan used this feature
for the first time today, and it didn't quite work. I'm not sure whether
it worked before; anyway
Thu Mar 22 04:07:18 PDT 2007 [EMAIL PROTECTED]
* Improve documentation of instances
M ./compiler/typecheck/TcMType.lhs -1 +5
M ./docs/users_guide/glasgow_exts.xml -14 +13
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
. If there are further cycles I repeat the process.
I'm not saying this is the most perspicuous way to present it. Can you say
more precisely what you'd like to see?
S
| -Original Message-
| From: Sven Panne [mailto:[EMAIL PROTECTED]
| Sent: 22 March 2007 15:06
| To: Simon Peyton-Jones
Fri Mar 23 04:18:21 PDT 2007 [EMAIL PROTECTED]
* Tidy up refactoring only
M ./compiler/rename/RnSource.lhs -20 +15
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri Mar 23 04:18:50 PDT 2007 [EMAIL PROTECTED]
* Wibble fixing overlapped pattern
M ./compiler/deSugar/DsMeta.hs -2 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri Mar 23 04:19:12 PDT 2007 [EMAIL PROTECTED]
* Emit a decent error message when there is a decl-splice inside a
decl-bracket
This fixes Trac #1065. The fix is just to emit a decent error message
rather than crash. The situation is this:
f x = ... [d| $(..stuff..);
Fri Mar 30 07:00:33 PDT 2007 [EMAIL PROTECTED]
* Match the type of an Id during rule matching
Please MERGE to 6.6.1
Consider this RULE
forall (c::Char-Int) (x::Char).
f (c x) = RULE FIRED
Well, this should only match on arguments of the specified type
But
Fri Mar 30 07:09:14 PDT 2007 [EMAIL PROTECTED]
* There is no opt way any more
Use optc, optasm instead.
M ./tests/ghc-regress/simplCore/should_run/all.T -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Fri Mar 30 07:09:52 PDT 2007 [EMAIL PROTECTED]
* Test for RULES type-matching
M ./tests/ghc-regress/simplCore/should_run/all.T +1
A ./tests/ghc-regress/simplCore/should_run/simplrun008.hs
A ./tests/ghc-regress/simplCore/should_run/simplrun008.stdout
Mon Apr 2 00:38:35 PDT 2007 [EMAIL PROTECTED]
* Make type-tidying work for coercion variables
When tidying a TyVar binder, we must tidy its kind if it's a coercion
variable! I had forgotten to do this, which is a serious bug. As a
result some more complicated programs were getting a
| I noticed that the typechecker and desugarer try to do some minor
| optimizations here and there. The handling of overloaded literals
| recently caught my attention (see shortCutIntLit in typecheck/Inst and
| tidyNPat in deSugar/MatchLit).
|
| Are these just there as a hangover from before the
Hi Kirsten
I'm getting this when compiling the RTS with -ticky:
../compiler/ghc-inplace -H32m -W -fno-warn-unused-matches -fwarn-unused-imports
-optc-O2 -static -I. -#include HCIncludes.h -fvia-C -dcmm-lint -hisuf t_hi
-hcsuf t_hc -osuf t_o -ticky -#include posix/Itimer.h -c PrimOps.cmm -o
| -Original Message-
| From: Tim Chevalier [mailto:[EMAIL PROTECTED]
| Sent: 04 April 2007 19:21
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: ticky
|
| On 4/4/07, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
| Do you think ticky is working in the HEAD?
|
| Well
Chevalier [mailto:[EMAIL PROTECTED]
| Sent: 06 April 2007 05:04
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: ticky
|
| On 4/5/07, Tim Chevalier [EMAIL PROTECTED] wrote:
| Also -- I just noticed that my segfault isn't the same as your
| segfault, apparently, because I'm not using
I have no clue. I'm looping in cvs-ghc, which includes Ian.
(This concerns building GHC on Vista.)
Simon
-Original Message-
From: Tom Schrijvers [mailto:[EMAIL PROTECTED]
Sent: 18 April 2007 08:14
To: Simon Marlow; Simon Peyton-Jones
Subject: GHC boostrap on Vista, tab problem
I get
Wed Apr 18 09:05:19 PDT 2007 [EMAIL PROTECTED]
* Fix bat-script generation for MSys
The bat-script generation was using the wrong paths, in
ghc-inplace
ghc-pkg
hsc2hs
plus there was a double-backslah in the latter two which was wrong.
This patch fixes both. See
[Ian: please do not apply this patch]
Brian: excellent catch! I can't think how this ever worked, if it ever did.
Thanks for finding it, and better still for fixing it. How are you using
'inline'?
Do you have an example that exposes whether it works? We'd like to add a
regression test.
Sun Apr 22 14:29:11 PDT 2007 [EMAIL PROTECTED]
* Fix corner case of useless constraint in SPECIALISE pragma
MERGE TO STABLE
This patch fixes Trac #1287.
The problem is described in Note [Unused spec binders] in DsBinds.
At the same time I realised that the error
Sun Apr 22 14:35:03 PDT 2007 [EMAIL PROTECTED]
* Fixes to datacon wrappers for indexed data types
[EMAIL PROTECTED] pointed out (Trac #1204) that indexed data types
aren't quite right. I investigated and found that the wrapper
functions for indexed data types, generated in MkId, are
Tue Apr 24 05:43:34 PDT 2007 [EMAIL PROTECTED]
* Fix bug in boxySplitTyConApp
Merge to STABLE branch
This bug was discovered by Nicolas Frisby. It's an egregious missing guard
in boxySplitTyConApp.
Test is tcfail180
M ./compiler/typecheck/TcUnify.lhs -2 +6
Tue Apr 24 06:29:18 PDT 2007 [EMAIL PROTECTED]
* Add WAY_debug_t_NAME and WAY_debug_t_HC_OPTS
M ./mk/config.mk.in +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
to take a look and we can discuss.
Simon
| -Original Message-
| From: Manuel M T Chakravarty [mailto:[EMAIL PROTECTED]
| Sent: 25 April 2007 10:16
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: patch applied (ghc): Fixes to datacon wrappers for indexed data
types
Wed Apr 25 03:18:32 PDT 2007 [EMAIL PROTECTED]
* Add -fwarn-monomorphism-restriction (on by default) to warn when the MR is
used
Users often trip up on the Dreaded Monomorphism Restriction. This
warning flag tells you when the MR springs into action.
Currently it's on by default,
OK, all fixed; tests work (except one deriving one)
Simon
| -Original Message-
| From: Manuel M T Chakravarty [mailto:[EMAIL PROTECTED]
| Sent: 25 April 2007 10:16
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: patch applied (ghc): Fixes to datacon wrappers for indexed
Wed Apr 25 07:15:30 PDT 2007 [EMAIL PROTECTED]
* Improve hashing of expressions for CSE (reduces warnings about extendCSEnv)
M ./compiler/basicTypes/Name.lhs -2 +5
M ./compiler/coreSyn/CoreUtils.lhs -4 +4
M ./compiler/simplCore/CSE.lhs -1 +3
Wed Apr 25 09:12:44 PDT 2007 [EMAIL PROTECTED]
* Fix misleading debug trace
M ./compiler/types/Type.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed Apr 25 09:13:06 PDT 2007 [EMAIL PROTECTED]
* Typo in comments
M ./compiler/hsSyn/HsDecls.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri Apr 27 08:41:31 PDT 2007 [EMAIL PROTECTED]
* Fix egregious typo in TcUnify
Tom S found this bug by inspection; we've never seen it
fail in the wild, but it was obviosly Utterly Wrong
M ./compiler/typecheck/TcUnify.lhs -1 +1
___
Wed May 2 03:28:11 PDT 2007 [EMAIL PROTECTED]
* Fixes to data type families
- Fix two distinct bugs, one in MkId.mkDataConIds, one in DataCon.mkDataCon
- Add more comments
- Add a little assertion checking in TyCon
Type-family tests now work.
M
Wed May 2 03:38:45 PDT 2007 [EMAIL PROTECTED]
* Add ndp package to boring list
M ./.darcs-boring +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed May 2 03:38:15 PDT 2007 [EMAIL PROTECTED]
* Document the fact that you can't make a newtype of an unboxed data type
M ./docs/users_guide/glasgow_exts.xml +7
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Wed May 2 03:39:24 PDT 2007 [EMAIL PROTECTED]
* Do not generate warnings for compiler-generated code
Fixes Trac #1313
M ./compiler/typecheck/TcRnDriver.lhs -2 +8
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Wed May 2 09:34:57 PDT 2007 [EMAIL PROTECTED]
* Make records work properly with type families
This fixes Trac #1204. There's quite a delicate interaction of
GADTs, type families, records, and in particular record updates.
Test is indexed-types/should_compile/Records.hs
M
Wed May 2 09:37:09 PDT 2007 [EMAIL PROTECTED]
* Add more assertions
M ./compiler/basicTypes/MkId.lhs -2 +2
M ./compiler/deSugar/Check.lhs -3 +3
M ./compiler/deSugar/DsUtils.lhs -3 +3
M ./compiler/deSugar/Match.lhs -1 +2
M ./compiler/deSugar/MatchLit.lhs -1 +2
Wed May 2 09:38:15 PDT 2007 [EMAIL PROTECTED]
* Layout only
M ./compiler/coreSyn/CoreUtils.lhs -8 +7
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed May 2 09:38:54 PDT 2007 [EMAIL PROTECTED]
* Comments, plus type sigs
M ./compiler/hsSyn/HsPat.lhs -1 +1
M ./compiler/typecheck/FamInst.lhs +1
M ./compiler/typecheck/TcPat.lhs -2 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Wed May 2 09:37:46 PDT 2007 [EMAIL PROTECTED]
* Import fiddling
M ./compiler/basicTypes/Literal.lhs -1
M ./compiler/hsSyn/HsUtils.lhs -1
M ./compiler/main/HscTypes.lhs -3 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Thu May 3 00:38:38 PDT 2007 [EMAIL PROTECTED]
* Add test for records and type families
A ./tests/ghc-regress/indexed-types/should_compile/Records.hs
M ./tests/ghc-regress/indexed-types/should_compile/all.T +1
___
Cvs-ghc mailing list
Thu May 3 00:42:24 PDT 2007 [EMAIL PROTECTED]
* Fix Trac #1255 (related to UNPACKing of strict fields) on 6.6 branch
This bug is already fixed on the HEAD, but we neglected to push the
change into the branch.
M ./compiler/typecheck/TcTyClsDecls.lhs -1 +9
Thu May 3 00:50:22 PDT 2007 [EMAIL PROTECTED]
* Add test for Trac #1255
M ./tests/ghc-regress/typecheck/should_compile/all.T +1
A ./tests/ghc-regress/typecheck/should_compile/tc226.hs
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Fri May 4 00:38:43 PDT 2007 [EMAIL PROTECTED]
* Revert mistaken change to all.T
M ./tests/ghc-regress/deriving/should_fail/all.T -1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri May 4 00:56:16 PDT 2007 [EMAIL PROTECTED]
* Add test for Trac #1323
A ./tests/ghc-regress/gadt/Session.hs
A ./tests/ghc-regress/gadt/Session.stdout
M ./tests/ghc-regress/gadt/all.T +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Fri May 4 04:11:34 PDT 2007 [EMAIL PROTECTED]
* Test for Trac #1251
A ./tests/ghc-regress/gadt/CasePrune.hs
A ./tests/ghc-regress/gadt/CasePrune.stdout
M ./tests/ghc-regress/gadt/all.T +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Thu May 3 05:45:18 PDT 2007 [EMAIL PROTECTED]
* Add the -ddump-mod-cycles flag to the user manual
M ./docs/users_guide/separate_compilation.xml +9
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri May 4 04:03:01 PDT 2007 [EMAIL PROTECTED]
* isDataTyCon should be False for all type families, even data type families
isDataTyCon advertises that it's true of data types that are
definitely represented by heap-allocated constructors. These are
srcutinised by Core-level @case@
Fri May 4 04:03:41 PDT 2007 [EMAIL PROTECTED]
* Warning police
M ./compiler/simplCore/Simplify.lhs -2 +1
M ./compiler/typecheck/TcTyDecls.lhs -2 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Fri May 4 04:06:50 PDT 2007 [EMAIL PROTECTED]
* Fix the pruning of dead case alternatives
This fixes Trac #1251; test case is gadt/CasePrune
GHC was being over-eager about pruning dead alternatives from case
expressions, and that led to a crash because the case expression
ended
Fri May 4 04:34:54 PDT 2007 [EMAIL PROTECTED]
* Improve printing of ... in HsExpr; fixes a stupidity in my earlier change
M ./compiler/hsSyn/HsExpr.lhs -10 +21
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Fri May 4 05:24:05 PDT 2007 [EMAIL PROTECTED]
* Make -frewrite-rules into a dynamic flag; off for -O0
Argubly rewrite rules should not fire with -O0, and it turns
out that when compiling GHC.Base with -O0 we get a crash if
the rewrite rules do fire (see Note [Scoping for Builtin
Fri May 4 05:24:19 PDT 2007 [EMAIL PROTECTED]
* Warning police
M ./compiler/basicTypes/OccName.lhs -1
M ./compiler/simplCore/CSE.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Sun May 6 05:22:11 PDT 2007 Ian Lynagh [EMAIL PROTECTED]
tagged 2007-05-06
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Mon May 7 01:42:47 PDT 2007 [EMAIL PROTECTED]
* FIX Trac #1329: spelling error
M ./compiler/typecheck/TcSimplify.lhs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
| isAlgTyCon doesn't do). Roman, raised the question of whether we
| actually would want to permit newtype instances for data families (or in
| other words whether it makes sense to distinguish between data families
| and newtype families at all - it surely makes sense to distinguish
| between
:[EMAIL PROTECTED] On Behalf Of Simon
Peyton-Jones
| Sent: 07 May 2007 11:44
| To: Manuel M T Chakravarty
| Cc: cvs-ghc@haskell.org
| Subject: RE: patch applied (ghc): isDataTyCon should be False for all type
families, even data type
| families
|
| | isAlgTyCon doesn't do). Roman, raised the question
Brilliant.
I've just successfully installed it and run it. Seemed great.
As well as adding the binary to my path, it also added
program files/Haskell/bin
was that deliberate? There seems to be no such directory
S
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL
Mon May 7 03:41:37 PDT 2007 [EMAIL PROTECTED]
* FIX Trac #1332: make isStringTy work right
For some ancient reason, TcType.isStringTy was treating newtypes as
transparent, which is quite consistent with isIntTy, isBoolTy etc.
(I think the reason is that isStringTy was written to go
Mon May 7 09:00:32 PDT 2007 [EMAIL PROTECTED]
* Document -fspec-threshold
This size-threshold flag is for both liberate-case and SpecConstr.
Replaces -flibereate-case-threshold.
M ./docs/users_guide/flags.xml -3 +4
___
Cvs-ghc
Mon May 7 09:16:53 PDT 2007 [EMAIL PROTECTED]
* Fix comments on HsWrapper type
M ./compiler/hsSyn/HsBinds.lhs -4 +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Mon May 7 09:24:22 PDT 2007 [EMAIL PROTECTED]
* Make let-floating work even if there are big lambdas in the way
This patch generalises the let-floating transformation in a way
suggested by Roman and Manuel when doing closure conversion.
There are extensive comments in Note
| Cabal with GHC by default installs programs such as haddock/alex/happy
| to this location. Since this is the installation of the cabal
| machinery, it seems to make sense for the GHC installer to add it to
| the path.
Hmm. I see, I think. Worth documenting somewhere. Where? In the
Eight times slower! That's a serious performance bug. Darn.
Are you sure you compiled both with the same flags (e.g. -O)?
Maybe doing -ddump-simpl and looking at the code for selectProofBasis (where
most of the time goes) would be illuminating.
If you can't narrow it down any more, then I
| Tue May 8 18:09:25 EDT 2007 Isaac Dupree [EMAIL PROTECTED]
| * Add a warning flag for when the Prelude is implicitly imported (trac
#1317)
| GHC already determines all the implicit (Prelude) imports,
| so we just need to check whether there are any of those,
| for each module being
Wed May 9 04:25:30 PDT 2007 [EMAIL PROTECTED]
* Tidy up the interface to lookupInstEnv
This patch changes the interface to lookupInstEnv, so that it
returns a pair (Instance, [Either TyVar Type])
rather than(Inst, TvSubst)
There is no functionality change, but the
Wed May 9 04:19:19 PDT 2007 [EMAIL PROTECTED]
* Fix a bug in (the new function) SimplUtils.abstractFloats
M ./compiler/simplCore/SimplUtils.lhs -9 +18
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed May 9 04:18:12 PDT 2007 [EMAIL PROTECTED]
* Improve full laziness by floating allocations out of value lambdas
This patch simplifies the code slightly, and simultaneously improves
full laziness by floating allocations (lambdas, constructor apps) out
of loops.
See Note
1 - 100 of 4358 matches
Mail list logo