patch applied (ghc): Add WAY_debug_t_NAME and WAY_debug_t_HC_OPTS

2007-04-25 Thread Simon Peyton Jones
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

Re: patch applied (ghc): Fixes to datacon wrappers for indexed data types

2007-04-25 Thread Manuel M T Chakravarty
Did you run the regression tests on this? I already get an offence in ghc-regress/indexed-types/should_compile/Simple1.hs (corelint barfs on the wrapper for the associated data type). Manuel Simon Peyton Jones: Sun Apr 22 14:35:03 PDT 2007 [EMAIL PROTECTED] * Fixes to datacon wrappers

RE: patch applied (ghc): Fixes to datacon wrappers for indexed data types

2007-04-25 Thread Simon Peyton-Jones
No I did not get all the tests working. I just thought I should get the bits off my dying laptop, so all I did was confirm that I have not broken any mainline code (libraries etc). Sorry! I have still not gotten my head around this wrapper stuff, as I mentioned on the phone. You might want

patch applied (ghc): Add -fwarn-monomorphism-restriction (on by default) to warn when the MR is used

2007-04-25 Thread Simon Peyton Jones
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,

patch applied (ghc): Generating synonym instance representation tycons

2007-04-25 Thread chak
Wed Apr 25 02:16:46 PDT 2007 Manuel M T Chakravarty [EMAIL PROTECTED] * Generating synonym instance representation tycons - Type synonym instances are turned into representation synonym tycons - They are entered into the pool of family instances (FamInst environments) in the same way as

patch applied (ghc): Tweak darcs-all script

2007-04-25 Thread Ian Lynagh
Wed Apr 25 05:46:20 PDT 2007 Ian Lynagh [EMAIL PROTECTED] * Tweak darcs-all script If you got darcs by SSH without specifying a username then the script would break. M ./darcs-all -1 +3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (ghc): add comments

2007-04-25 Thread Simon Marlow
Tue Apr 24 03:31:25 PDT 2007 Simon Marlow [EMAIL PROTECTED] * add comments M ./compiler/hsSyn/HsBinds.lhs -1 +3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): remove unused imports

2007-04-25 Thread Simon Marlow
Tue Apr 24 04:14:18 PDT 2007 Simon Marlow [EMAIL PROTECTED] * remove unused imports M ./compiler/deSugar/DsBinds.lhs -1 M ./compiler/deSugar/DsMeta.hs -3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (ghc): We no longer instantiate tyvars to Unknown types in the :print mechanism

2007-04-25 Thread Simon Marlow
Tue Apr 24 03:23:13 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * We no longer instantiate tyvars to Unknown types in the :print mechanism Instead, we keep the original tyvars. The plan is to exploit type relationships among closures to recover more types. M

patch applied (ghc): DebuggerTys doesnapos;t exist any more

2007-04-25 Thread Simon Marlow
Tue Apr 24 07:18:06 PDT 2007 Simon Marlow [EMAIL PROTECTED] * DebuggerTys doesn't exist any more M ./compiler/ghci/Debugger.hs -1 M ./compiler/main/GHC.hs -1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (ghc): When a type is refined after :print, propagate the substitution to all the interactive environment

2007-04-25 Thread Simon Marlow
Tue Apr 24 04:19:26 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * When a type is refined after :print, propagate the substitution to all the interactive environment M ./compiler/ghci/Debugger.hs -39 +26 M ./compiler/types/Type.lhs +1 ___ Cvs-ghc

patch applied (ghc): Some tyvars were being introduced in the environment via the thunk bindings apos; _tiapos; in :print

2007-04-25 Thread Simon Marlow
Tue Apr 24 10:04:46 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * Some tyvars were being introduced in the environment via the thunk bindings '_ti' in :print M ./compiler/ghci/Debugger.hs -3 +12 M ./compiler/typecheck/TcMType.lhs -1 +1 ___

patch applied (ghc): Keep track of free type variables in the interactive bindings

2007-04-25 Thread Simon Marlow
Wed Apr 25 06:03:32 PDT 2007 Simon Marlow [EMAIL PROTECTED] * Keep track of free type variables in the interactive bindings Now, the type checker won't attempt to generalise over the skolem variables in the interactive bindings. If we end up trying to show one of these types, there

patch applied (testsuite): this test requires an extra :step now

2007-04-25 Thread Simon Marlow
Wed Apr 25 05:59:20 PDT 2007 Simon Marlow [EMAIL PROTECTED] * this test requires an extra :step now M ./tests/ghc-regress/ghci.debugger/scripts/print018.script +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (testsuite): add test for a new bug

2007-04-25 Thread Simon Marlow
Wed Apr 25 06:00:31 PDT 2007 Simon Marlow [EMAIL PROTECTED] * add test for a new bug M ./tests/ghc-regress/ghci.debugger/scripts/all.T +1 A ./tests/ghc-regress/ghci.debugger/scripts/print019.script ___ Cvs-ghc mailing list

patch applied (ghc): refactor: move pprintClosureCommand out of the GHCi monad

2007-04-25 Thread Simon Marlow
Wed Apr 25 06:17:26 PDT 2007 Simon Marlow [EMAIL PROTECTED] * refactor: move pprintClosureCommand out of the GHCi monad Strictly speaking most of pprintClosureCommand should be exported by the GHC API, but this is a step in the right direction. M ./compiler/ghci/Debugger.hs -12 +6

patch applied (ghc): unused import

2007-04-25 Thread Simon Marlow
Wed Apr 25 06:24:33 PDT 2007 Simon Marlow [EMAIL PROTECTED] * unused import M ./compiler/ghci/Linker.lhs -1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): unused exports

2007-04-25 Thread Simon Marlow
Wed Apr 25 06:24:55 PDT 2007 Simon Marlow [EMAIL PROTECTED] * unused exports M ./compiler/ghci/RtClosureInspect.hs -7 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): use Any as the HValue type, this should be a bit safer than forall a.a

2007-04-25 Thread Simon Marlow
Wed Apr 25 07:29:14 PDT 2007 Simon Marlow [EMAIL PROTECTED] * use Any as the HValue type, this should be a bit safer than forall a.a M ./compiler/ghci/ByteCodeLink.lhs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (ghc): remember the type of _result

2007-04-25 Thread Simon Marlow
Wed Apr 25 07:50:25 PDT 2007 Simon Marlow [EMAIL PROTECTED] * remember the type of _result M ./compiler/ghci/ByteCodeGen.lhs +1 M ./compiler/ghci/ByteCodeInstr.lhs -1 +4 M ./compiler/main/GHC.hs -19 +36 ___ Cvs-ghc mailing list

patch applied (ghc): the Unknown types arenapos;t required now

2007-04-25 Thread Simon Marlow
Wed Apr 25 07:52:07 PDT 2007 Simon Marlow [EMAIL PROTECTED] * the Unknown types aren't required now M ./compiler/prelude/PrelNames.lhs -6 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Tidy types of free vars at a breakpoint

2007-04-25 Thread Simon Marlow
Wed Apr 25 08:42:35 PDT 2007 Simon Marlow [EMAIL PROTECTED] * Tidy types of free vars at a breakpoint Also share the code that extends the InteractiveContext between tcRnStmt and GHC.extendEnvironment. M ./compiler/main/GHC.hs -17 +14 M ./compiler/main/HscTypes.lhs -2 +23 M

RE: patch applied (ghc): Fixes to datacon wrappers for indexed data types

2007-04-25 Thread Simon Peyton-Jones
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

patch applied (testsuite): Accept output

2007-04-25 Thread Pepe Iborra
Wed Apr 25 10:52:48 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * Accept output M ./tests/ghc-regress/ghci.debugger/scripts/print008.stdout -2 +2 M ./tests/ghc-regress/ghci.debugger/scripts/print012.stdout -2 +3 M ./tests/ghc-regress/ghci.debugger/scripts/print016.script -1 +1

patch applied (ghc): Fix some corner cases in :print after the recent changes

2007-04-25 Thread Pepe Iborra
Wed Apr 25 09:21:20 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * Fix some corner cases in :print after the recent changes M ./compiler/ghci/Debugger.hs -2 +6 M ./compiler/ghci/RtClosureInspect.hs -1 +2 ___ Cvs-ghc mailing list

patch applied (ghc): fix :print reconstructing too many types in environment bindings

2007-04-25 Thread Pepe Iborra
Wed Apr 25 10:02:10 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * fix :print reconstructing too many types in environment bindings For more details, see test print019 M ./compiler/ghci/RtClosureInspect.hs -13 +20 ___ Cvs-ghc mailing list

patch applied (ghc): Drop newtypes before computing the refinement substitution after :print type reconstruction

2007-04-25 Thread Pepe Iborra
Wed Apr 25 12:40:48 PDT 2007 Pepe Iborra [EMAIL PROTECTED] * Drop newtypes before computing the refinement substitution after :print type reconstruction M ./compiler/ghci/Debugger.hs -4 +8 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

[nightly] 25-Apr-2007 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2007-04-25 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/ghc/nightly/HEAD-cam-02-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Wed Apr 25 19:30:00 BST 2007.

[nightly] 25-Apr-2007 build of 6.6 branch on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2007-04-25 Thread GHC Build Reports
Build description = 6.6 branch on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/ghc/nightly/STABLE-cam-02-unx Build config file = /home/simonmar/nightly/site/msrc/conf-6.6-cam-02-unx Nightly build started on cam-02-unx at Wed Apr 25 19:00:00 BST 2007.

[nightly] 25-Apr-2007 build of of HEAD on i386-unknown-mingw32 (bling)

2007-04-25 Thread sof
From: GHC Build Reports [EMAIL PROTECTED] To: cvs-ghc@haskell.org Subject: [nightly] 25-Apr-2007 build of of HEAD on i386-unknown-mingw32 (bling) Build description = of HEAD on i386-unknown-mingw32 (bling) Build location= /fptools/builds/HEAD Build config file =