patch applied (ghc): Expose all EventLog events as DTrace probes

Sat Dec 12 02:08:09 PST 2009 Manuel M T Chakravarty * Expose all EventLog events as DTrace probes Ignore-this: 2c5ef30b1ff7fb2ea5fba8cf0a187d45 - Defines a DTrace provider, called 'HaskellEvent', that provides a probe for every event of the eventlog framework. - In contrast to the ori

patch applied (testsuite): Fix setting of utf8 locale on Mac OS X

Wed Nov 11 16:28:57 PST 2009 Manuel M T Chakravarty * Fix setting of utf8 locale on Mac OS X Ignore-this: 7d710c5f8030ba0f572bb3888d983227 M ./driver/runtests.py -1 +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20091112002857-6295e-e18393f1ee0ef007becfa73ddf953

patch applied (ghc): Barf on unhandled Mach-O relocations in the ghci linker

Tue Nov 10 18:07:12 PST 2009 Manuel M T Chakravarty * Barf on unhandled Mach-O relocations in the ghci linker Ignore-this: 67cd1323420bf7139a7ee293b43e7be9 - It might be worthwhile to MERGE this to 6.12, BUT somebody should validate it on PPC/Mac OS X first. M ./rts/Linker.c -8

patch applied (ghc): Fix a dynamic linker bug that killed ghci on Snow Leopard

Thu Oct 29 05:41:59 PDT 2009 Manuel M T Chakravarty * Fix a dynamic linker bug that killed ghci on Snow Leopard Ignore-this: 67461b0969e3ff1b0d0c4f666ce473bc M ./rts/Linker.c -2 +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20091029124159-6295e-fd6f69de2339c902e08e87

patch applied (ghc): Use CONF_CC_OPTS

Thu Sep 17 06:27:06 PDT 2009 Manuel M T Chakravarty * Use CONF_CC_OPTS Ignore-this: 3dd1a67c04f8bb8e10c161c7c5549753 - Needed to get arch-dependent options, eg, on Snow Leopard M ./compiler/typecheck/TcBinds.lhs -1 +2 M ./libffi/ghc.mk -3 +3 M ./mk/config.mk.in -1 +1 M ./ru

patch applied (testsuite): Fix runtests.py for Python 2.6.1

Thu Sep 17 03:51:17 PDT 2009 Manuel M T Chakravarty * Fix runtests.py for Python 2.6.1 Ignore-this: 11f9aaab6c3e93bca0bff3e8b3603f04 - This is the version of Python that comes with Snow Leopard M ./driver/runtests.py -3 +5 View patch online: http://darcs.haskell.org/testsuite/_darcs/p

patch applied (ghc): Fix build on Mac OS 10.6 (Snow Leopard)

Wed Sep 16 21:41:21 PDT 2009 Manuel M T Chakravarty * Fix build on Mac OS 10.6 (Snow Leopard) Ignore-this: 16fbdb0fc58acf3d1497da4a8b3b516e - We have -m32 as machine-dependent option for gcc for a 32 bit build - Like on OpenBSD, SL requires -fno-stack-protector to avoid triggering the

patch applied (testsuite): TFs: T3220

Sun Aug 23 19:47:55 PDT 2009 Manuel M T Chakravarty * TFs: T3220 Ignore-this: 3032db152dd0668bb1f2f39d8d50b7f A ./tests/ghc-regress/indexed-types/should_compile/T3220.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite

patch applied (testsuite): TFs: T3423 was missing -XFlexibleInstances

Sun Aug 23 19:51:00 PDT 2009 Manuel M T Chakravarty * TFs: T3423 was missing -XFlexibleInstances Ignore-this: 748adedd772e71de8ce6ef2923275c7b M ./tests/ghc-regress/indexed-types/should_compile/T3423.hs +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/200908240251

patch applied (testsuite): TFs: T3418

Thu Aug 20 03:54:18 PDT 2009 Manuel M T Chakravarty * TFs: T3418 Ignore-this: 6fe5caf8af245d792f7b9e4c9be58d68 A ./tests/ghc-regress/indexed-types/should_compile/T3418.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuit

patch applied (testsuite): TFs: test cases for #2767 & #3208

Thu Aug 20 00:33:43 PDT 2009 Manuel M T Chakravarty * TFs: test cases for #2767 & #3208 Ignore-this: a9c06c0d0fcc72c0cf59e5c94271005b A ./tests/ghc-regress/indexed-types/should_compile/T2767.hs A ./tests/ghc-regress/indexed-types/should_compile/T3208a.hs A ./tests/ghc-regress/ind

patch applied (ghc): FIX #2767 & original problem of #3208

Thu Aug 20 00:26:08 PDT 2009 Manuel M T Chakravarty * FIX #2767 & original problem of #3208 Ignore-this: cb8326cf885c2da0b497ef10f8fed942 M ./compiler/deSugar/DsBinds.lhs -7 +7 M ./compiler/deSugar/DsMonad.lhs -1 +1 M ./compiler/typecheck/Inst.lhs -1 +1 M ./compiler/typecheck

patch applied (ghc): FIX #3405

Tue Aug 18 05:14:25 PDT 2009 Manuel M T Chakravarty * FIX #3405 Ignore-this: 6ca07059605e9cdf5ab5aa5bb8cc4455 M ./compiler/types/FamInstEnv.lhs -4 +5 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090818121425-6295e-563640ee1f74220fa1a1d966d44b4f3b2cbbff79.gz

patch applied (ghc): FIX #3272

Mon Jul 13 22:45:59 PDT 2009 Manuel M T Chakravarty * FIX #3272 Ignore-this: 225fe4d82d4eed02e9b1377687661bac M ./compiler/typecheck/TcTyFuns.lhs -6 +30 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090714054559-6295e-fade9e60f5828a9f7e312245bd42f6b6f63711e8.gz _

patch applied (testsuite): TFs: Added T2203b

Thu Jul 9 23:46:38 PDT 2009 Manuel M T Chakravarty * TFs: Added T2203b Ignore-this: 8d0c3101f03a76b2fd13e1032aefeffe A ./tests/ghc-regress/indexed-types/should_compile/T2203b.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/

patch applied (ghc): TFs: FIX #2203 (second half)

Thu Jul 9 23:48:34 PDT 2009 Manuel M T Chakravarty * TFs: FIX #2203 (second half) Ignore-this: 46a46feaa73f74feb08524b9e7547414 M ./compiler/typecheck/TcMType.lhs -1 +9 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090710064834-6295e-6bb96ee5e012a94b0d0c323a84ef81df0

patch applied (testsuite): TFs: fixed should_compile/Simple8 & wibbles

Thu Jul 9 20:55:36 PDT 2009 Manuel M T Chakravarty * TFs: fixed should_compile/Simple8 & wibbles Ignore-this: 66b4c2ad6a5f594f2fd6fcf51be78d6a M ./tests/ghc-regress/indexed-types/should_compile/GADT13.hs +2 M ./tests/ghc-regress/indexed-types/should_compile/GADT7.hs -2 +2 M ./te

patch applied (ghc): TFs: Fix should_compile/Simple8

Thu Jul 9 21:27:28 PDT 2009 Manuel M T Chakravarty * TFs: Fix should_compile/Simple8 Ignore-this: 471ab67e3df1c5245921be5286a45f93 M ./compiler/typecheck/TcEnv.lhs -6 +10 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090710042728-6295e-62917a353b79435d2f6bd48eee5cd43

patch applied (testsuite): TFs: T2677

Mon Jul 6 22:47:49 PDT 2009 Manuel M T Chakravarty * TFs: T2677 Ignore-this: 8ca0fd55918fc3b5a7cd2b7407b7195a A ./tests/ghc-regress/indexed-types/should_fail/T2677.hs A ./tests/ghc-regress/indexed-types/should_fail/T2677.stderr M ./tests/ghc-regress/indexed-types/should_fail/all

patch applied (ghc): FIX #2677

Mon Jul 6 22:54:42 PDT 2009 Manuel M T Chakravarty * FIX #2677 Ignore-this: e224dd09d0d1c9ec4f3b46c7accb8d57 M ./compiler/typecheck/FamInst.lhs -1 +2 M ./compiler/types/FamInstEnv.lhs -6 +11 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090707055442-6295e-56fe810

patch applied (ghc): Type synonym families may be nullary

Thu Jul 2 01:48:26 PDT 2009 Manuel M T Chakravarty * Type synonym families may be nullary Ignore-this: bcfe6ed62c901206daf5a5088890bbea M ./compiler/rename/RnSource.lhs -9 +1 M ./compiler/typecheck/TcTyClsDecls.lhs -11 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/

patch applied (testsuite): TFs: nullary families are ok

Thu Jul 2 02:36:29 PDT 2009 Manuel M T Chakravarty * TFs: nullary families are ok Ignore-this: ef5783432881e51f4f88b806aaacc1cf R ./tests/ghc-regress/indexed-types/should_fail/T2888.stderr M ./tests/ghc-regress/indexed-types/should_fail/all.T -1 +1 View patch online: http://darcs.h

patch applied (ghc): FIX #3197

Thu Jul 2 00:09:05 PDT 2009 Manuel M T Chakravarty * FIX #3197 Ignore-this: ebf829f0ae025e82bccdfa4345828ffe M ./compiler/rename/RnEnv.lhs -15 +11 M ./compiler/rename/RnNames.lhs -20 +68 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090702070905-6295e-36637b0278d

patch applied (ghc): Fix maintainer-clean for library/dph

Thu May 14 19:48:12 PDT 2009 Manuel M T Chakravarty * Fix maintainer-clean for library/dph Ignore-this: 189a52c2b3a6cd90fa23e74cc455244 M ./ghc.mk -1 +5 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090515024812-6295e-511a6c9a727fe2294efb8faeb1241560fa63d504.gz _

patch applied (ghc): Equality constraint solver is now externally pure

Mon Apr 27 07:03:16 PDT 2009 Manuel M T Chakravarty * Equality constraint solver is now externally pure Ignore-this: bd7c31a7d9e62437e4d83f70b48220af - This patch changes the equality constraint solver such that it does not instantiate any type variables that occur in the constraints th

patch applied (ghc): Template Haskell: added bang patterns

Thu Mar 26 03:02:08 PDT 2009 Manuel M T Chakravarty * Template Haskell: added bang patterns Ignore-this: f15890cd7ee7fee664af342796780443 M ./compiler/deSugar/DsMeta.hs -3 +9 M ./compiler/hsSyn/Convert.lhs +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090326100

patch applied (ghc): Template Haskell: support for kind annotations

Thu Mar 26 01:55:20 PDT 2009 Manuel M T Chakravarty * Template Haskell: support for kind annotations Ignore-this: 722c23eac614089d24a8e8373a13de3b M ./compiler/deSugar/DsMeta.hs -51 +141 M ./compiler/hsSyn/Convert.lhs -30 +58 M ./compiler/typecheck/TcHsSyn.lhs -1 M ./compiler

patch applied (testsuite): Template Haskell: Using kinds

Thu Mar 26 01:51:05 PDT 2009 Manuel M T Chakravarty * Template Haskell: Using kinds Ignore-this: a5e47c017e53bc1a4b3df6955122b9cd M ./tests/ghc-regress/th/TH_genExLib.hs -1 +1 M ./tests/ghc-regress/th/TH_tf1.hs +6 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/

patch applied (ghc): Template Haskell: make reify aware of type families

Tue Mar 24 20:34:47 PDT 2009 Manuel M T Chakravarty * Template Haskell: make reify aware of type families Ignore-this: 4b9c2d626e7c506a74331bb91d0fcff7 - Reifying a type family returns a TH family declaration - Reifying a data constructor from a data instance attributes that construct

patch applied (ghc): Template Haskell: support for INLINE and SPECIALISE pragmas

Tue Mar 24 16:29:40 PDT 2009 Manuel M T Chakravarty * Template Haskell: support for INLINE and SPECIALISE pragmas Ignore-this: 1f6c2e0de01842da7c9384d3ccafcb63 M ./compiler/deSugar/DsMeta.hs -16 +115 M ./compiler/hsSyn/Convert.lhs -7 +53 View patch online: http://darcs.haskell.org/g

patch applied (testsuite): TH: test for pragma support

Tue Mar 24 16:28:01 PDT 2009 Manuel M T Chakravarty * TH: test for pragma support Ignore-this: bedf7f85652a62e71697129392a21449 A ./tests/ghc-regress/th/TH_pragma.hs A ./tests/ghc-regress/th/TH_pragma.stderr M ./tests/ghc-regress/th/all.T +2 View patch online: http://darcs.haske

patch applied (ghc): Implement setThreadAffinity for Mac OS X (from 10.5)

Fri Mar 20 00:13:47 PDT 2009 Manuel M T Chakravarty * Implement setThreadAffinity for Mac OS X (from 10.5) Ignore-this: d5e2104b4a011fc98500527741c5e7a7 M ./rts/posix/OSThreads.c -2 +27 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090320071347-6295e-d6df37c702f68a18d

patch applied (ghc): Template Haskell support for equality constraints

Thu Mar 19 06:23:47 PDT 2009 Manuel M T Chakravarty * Template Haskell support for equality constraints Ignore-this: 2a0150d9466b0552c5094cdcdc08dbe5 M ./compiler/deSugar/DsMeta.hs -20 +57 M ./compiler/hsSyn/Convert.lhs -7 +28 M ./compiler/typecheck/TcSplice.lhs -5 +13 View patc

patch applied (testsuite): Template Haskell: test for equality constraints

Thu Mar 19 06:03:39 PDT 2009 Manuel M T Chakravarty * Template Haskell: test for equality constraints Ignore-this: 4cc8ddce3ed741db99b66f169efff2c1 M ./tests/ghc-regress/th/TH_genExLib.hs -1 +1 M ./tests/ghc-regress/th/TH_tf1.hs -1 +2 M ./tests/ghc-regress/th/TH_tf2.hs -3 +2

patch applied (testsuite): Fix this test (myghc ==> ./myghc)

Thu Mar 19 04:00:14 PDT 2009 Simon Marlow * Fix this test (myghc ==> ./myghc) Ignore-this: 221316f80c4b8014aad58f6e6fba621f M ./tests/ghc-regress/ghc-api/apirecomp001/Makefile -1 +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20090319110014-12142-8d69156596711b8

patch applied (ghc): Template Haskell: support for type family declarations

Thu Mar 19 01:43:06 PDT 2009 Manuel M T Chakravarty * Template Haskell: support for type family declarations Ignore-this: b9f5f5af61a5da53dc4326f380fdb72e M ./compiler/deSugar/DsMeta.hs -76 +204 M ./compiler/hsSyn/Convert.lhs -35 +125 M ./compiler/hsSyn/HsDecls.lhs -2 +2 M ./

patch applied (testsuite): Template Haskell: two tests for type families

Wed Mar 18 22:43:35 PDT 2009 Manuel M T Chakravarty * Template Haskell: two tests for type families Ignore-this: 900f41e6fac18977abd8f4db795840de A ./tests/ghc-regress/th/TH_tf1.hs A ./tests/ghc-regress/th/TH_tf2.hs M ./tests/ghc-regress/th/all.T +2 View patch online: http://dar

patch applied (ghc): Ensure the orientation of var-var equalities is correct for instatiation

Sat Mar 14 23:57:09 PDT 2009 Manuel M T Chakravarty * Ensure the orientation of var-var equalities is correct for instatiation Ignore-this: 95cf805dde74e0b9ff36a7fe7556ed1a - During fianlisation we use to occasionally swivel variable-variable equalities - Now, normalisation ensures that

patch applied (ghc): Package dph needs to be cleaned in stage=1, too

Thu Mar 5 19:16:28 PST 2009 Manuel M T Chakravarty * Package dph needs to be cleaned in stage=1, too Ignore-this: b67f993abfbbe47c6bd417049955b9be M ./libraries/Makefile -16 +18 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20090306031628-6295e-4e920db26f55492ab508236f

patch applied (ghc): Add targets clean.library.dph and remake.library.dph

Tue Feb 24 03:20:37 PST 2009 Manuel M T Chakravarty * Add targets clean.library.dph and remake.library.dph Ignore-this: bc561099d9e32b6c7416bd60e5516733 - Package dph ist a meta package that contains a number of subpackages inside. - This patch adds two targets to clean and remake all sub

patch applied (testsuite): TFs: 7 tests fail as they used unsupported superclass equalities

Tue Oct 21 06:59:41 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: 7 tests fail as they used unsupported superclass equalities M ./tests/ghc-regress/indexed-types/should_compile/all.T -7 +7 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081021135941-6295

patch applied (ghc): Reject programs with superclass equalities for now

Tue Oct 21 06:17:21 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Reject programs with superclass equalities for now - The current implementation of type families cannot properly deal with superclass equalities. Instead of making a half-hearted attempt at supporting them, whic

patch applied (testsuite): T2693

Tue Oct 21 04:58:58 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * T2693 A ./tests/ghc-regress/indexed-types/should_fail/T2693.hs A ./tests/ghc-regress/indexed-types/should_fail/T2693.stderr M ./tests/ghc-regress/indexed-types/should_fail/all.T +1 View patch online: http://d

patch applied (ghc): FIX #2693

Tue Oct 21 05:01:07 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * FIX #2693 - As long as the first reduceContext in tcSimplifyRestricted potentially performs improvement, we need to zonk again before the second reduceContext. It would be better to prevent the improvement in the

patch applied (testsuite): T2688

Mon Oct 20 21:33:43 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * T2688 A ./tests/ghc-regress/typecheck/should_fail/T2688.hs A ./tests/ghc-regress/typecheck/should_fail/T2688.stderr M ./tests/ghc-regress/typecheck/should_fail/all.T +1 View patch online: http://darcs.haskell

patch applied (ghc): FIX #2688

Mon Oct 20 21:42:13 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * FIX #2688 - Change in TcSimplify.reduceContext: We do *not* go around for new extra_eqs. Morally, we should, but we can't without risking non-termination (see #2688). By not going around, we mis

patch applied (ghc): FIX #2639

Thu Oct 9 06:23:28 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * FIX #2639 MERGE TO 6.10 M ./compiler/typecheck/TcPat.lhs -9 +25 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081009132328-6295e-f88d8e872872467b3d8375dc047dfee09f5a547f.gz

patch applied (ghc): Cover PredTy case in Type.tyFamInsts

Wed Oct 8 23:14:35 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Cover PredTy case in Type.tyFamInsts MERGE TO 6.10 M ./compiler/types/Type.lhs -1 +9 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081009061435-6295e-eeabe96691ca94155dc17c322c6bcb51d04965b0

patch applied (testsuite): TFs: T2639

Thu Oct 9 06:26:45 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: T2639 A ./tests/ghc-regress/indexed-types/should_compile/T2639.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/200810091326

patch applied (ghc): Users Guide: added type family documentation

Tue Oct 7 23:19:27 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Users Guide: added type family documentation MERGE TO 6.10 M ./docs/users_guide/glasgow_exts.xml -27 +641 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081008061927-6295e-c83cb24237489f2d244

patch applied (testsuite): TFs: Examples for Relaxed Conditions

Sat Oct 4 04:45:46 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Examples for Relaxed Conditions A ./tests/ghc-regress/indexed-types/should_compile/RelaxedExamples.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 A ./tests/ghc-regress/indexed-types/should

patch applied (testsuite): TFs: Test for repeated tvs in left-hand sides of instances

Thu Oct 2 07:27:12 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Test for repeated tvs in left-hand sides of instances A ./tests/ghc-regress/indexed-types/should_compile/NonLinearLHS.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +2 A ./tests/ghc-regress/i

patch applied (testsuite): TFs: T2291

Wed Oct 1 22:50:02 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: T2291 A ./tests/ghc-regress/indexed-types/should_compile/T2291.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/200810020550

patch applied (ghc): TFs: Allow repeated variables in left-hand sides of instances

Thu Oct 2 06:45:39 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Allow repeated variables in left-hand sides of instances MERGE TO 6.10 M ./compiler/rename/RnSource.lhs -8 +42 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081002134539-6295e-47d16f4be

patch applied (ghc): Clean up some comments

Thu Oct 2 00:46:42 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Clean up some comments MERGE TO 6.10 M ./compiler/typecheck/TcSimplify.lhs -1 +3 M ./compiler/typecheck/TcTyFuns.lhs -10 +1 M ./compiler/types/Type.lhs -2 +4 View patch online: http://darcs.haskell.org

patch applied (testsuite): tcfail145 error message improved, too

Wed Oct 1 22:24:48 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * tcfail145 error message improved, too M ./tests/ghc-regress/typecheck/should_fail/tcfail145.stderr -3 +5 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081002052448-6295e-d563a5343b1081e2d2ee4

patch applied (testsuite): TFs: T2448

Wed Oct 1 21:55:10 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: T2448 A ./tests/ghc-regress/indexed-types/should_compile/T2448.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/200810020455

patch applied (testsuite): TFs: Proper error message for GADT12

Wed Oct 1 07:42:44 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Proper error message for GADT12 M ./tests/ghc-regress/indexed-types/should_compile/GADT12.hs -1 +2 A ./tests/ghc-regress/indexed-types/should_compile/GADT12.stderr M ./tests/ghc-regress/indexed-types/shou

patch applied (ghc): Proper error message for unsupported pattern signatures

Wed Oct 1 07:43:39 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Proper error message for unsupported pattern signatures - Pattern signatures must be identical to the type expected for the pattern; see Note [Pattern coercions] - We now signal an appropriate error if an equality

patch applied (testsuite): TFs: Fixed InstContextNorm

Wed Oct 1 06:04:46 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Fixed InstContextNorm M ./tests/ghc-regress/indexed-types/should_compile/all.T -1 +1 M ./tests/ghc-regress/typecheck/should_fail/tcfail171.stderr -3 +3 View patch online: http://darcs.haskell.org/testsuite/_

patch applied (ghc): TFs: Fixed InstContextNorm (and simplification of IPs)

Wed Oct 1 06:13:03 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Fixed InstContextNorm (and simplification of IPs) MERGE TO 6.10 M ./compiler/typecheck/TcSimplify.lhs -4 +54 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081001131303-6295e-c78cd1a4f2d

patch applied (ghc): TcSimplify.reduceImplication: clean up

Wed Oct 1 02:13:15 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TcSimplify.reduceImplication: clean up - This cleans up some of the mess in reduceImplication and documents the precondition on the form of wanted equalities properly. - I also made the back off test a bit smarter

patch applied (testsuite): GADTs/TFs: Added T2151 & TF's Simple14 passes

Tue Sep 30 22:31:09 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * GADTs/TFs: Added T2151 & TF's Simple14 passes A ./tests/ghc-regress/gadt/T2151.hs M ./tests/ghc-regress/gadt/all.T +1 M ./tests/ghc-regress/indexed-types/should_compile/all.T -1 +1 View patch online: http://d

patch applied (ghc): Make sure to zonk the kind of coercion variables

Tue Sep 30 22:32:43 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Make sure to zonk the kind of coercion variables MERGE TO 6.10 M ./compiler/basicTypes/Var.lhs -11 +4 M ./compiler/typecheck/Inst.lhs -1 +1 M ./compiler/typecheck/TcHsSyn.lhs -2 +14 M ./compiler/typ

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

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

patch applied (testsuite): Type families: another small tricky example of SPJ

Thu Sep 25 16:01:55 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: another small tricky example of SPJ A ./tests/ghc-regress/indexed-types/should_compile/Simple24.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskel

patch applied (ghc): Type families: fixes in flattening & finalisation

Thu Sep 25 15:53:24 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fixes in flattening & finalisation * Finalisation didn't do the right thing for equalities x ~ y, where x was instantiated, but not zonked and y flexible (need to do y := x) * During flattening we we

patch applied (ghc): Type families: fix decomposition problem

Thu Sep 25 01:41:39 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fix decomposition problem * Fixes the problem reported in M ./compiler/typecheck/TcTyFuns.lhs -14 +21 M ./compiler/typech

patch applied (testsuite): Type families: test for decomposition problem

Thu Sep 25 01:40:15 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: test for decomposition problem A ./tests/ghc-regress/indexed-types/should_compile/OversatDecomp.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskel

patch applied (ghc): Type families: fixes in the new solver

Thu Sep 18 03:09:34 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fixes in the new solver M ./compiler/typecheck/TcTyFuns.lhs -58 +92 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080918100934-6295e-c52bc66fed7d5f4cb2128942c78ccc561d922a45.gz

patch applied (testsuite): Type families: fixed many regressions of new solver

Thu Sep 18 03:06:25 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fixed many regressions of new solver M ./tests/ghc-regress/indexed-types/should_compile/all.T -11 +11 M ./tests/ghc-regress/indexed-types/should_fail/all.T -1 +1 View patch online: http://darcs.has

patch applied (ghc): Type families: unify with family apps in checking mode

Tue Sep 16 23:25:48 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: unify with family apps in checking mode M ./compiler/typecheck/TcTyFuns.lhs -5 +16 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080917062548-6295e-1f3bafd8f95ce959872690ad5f83cfceba

patch applied (testsuite): Type families: fixed 4 regressions

Tue Sep 16 23:25:18 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fixed 4 regressions M ./tests/ghc-regress/indexed-types/should_compile/all.T -4 +4 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080917062518-6295e-9b4d2c5f810d583b425130cbd33d

patch applied (ghc): Type families: bug fixes

Tue Sep 16 08:12:54 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: bug fixes M ./compiler/basicTypes/Var.lhs -4 +4 M ./compiler/typecheck/Inst.lhs -1 +11 M ./compiler/typecheck/TcSimplify.lhs -3 +16 M ./compiler/typecheck/TcTyFuns.lhs -5 +14 View patch onl

patch applied (ghc): Keep sysnonyms folded in equalities if possible

Tue Sep 16 00:57:00 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Keep sysnonyms folded in equalities if possible M ./compiler/typecheck/TcTyFuns.lhs -17 +35 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080916075700-6295e-64139d09c18dee20b97182f9ce7173507c592fea

patch applied (ghc): Type families: apply flattening coercions in the right order

Mon Sep 15 22:51:36 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: apply flattening coercions in the right order M ./compiler/typecheck/TcTyFuns.lhs -17 +37 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080916055136-6295e-f9097327b0e4d95f37d1f9ef737

patch applied (ghc): TcTyFuns: tidy warning

Sun Sep 14 20:14:23 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TcTyFuns: tidy warning M ./compiler/typecheck/TcTyFuns.lhs -4 +6 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915031423-6295e-e980637c1c895ea2f8d28cb1297f9c52fd8442ed.gz __

patch applied (ghc): Signature for Inst.isValidWantedEqInst

Sun Sep 14 20:01:18 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Signature for Inst.isValidWantedEqInst M ./compiler/typecheck/Inst.lhs +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915030118-6295e-ee30794e8c57d993963d9db2ddb4117f1d7f0dd0.gz _

patch applied (ghc): Type families: fixed all non-termination in the testsuite

Sun Sep 14 05:06:38 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: fixed all non-termination in the testsuite M ./compiler/typecheck/TcSimplify.lhs -38 +38 M ./compiler/typecheck/TcTyFuns.lhs -18 +72 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/2

patch applied (ghc): Remember if RewriteInst is swapped & bug fixes

Sun Sep 14 09:36:39 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Remember if RewriteInst is swapped & bug fixes M ./compiler/typecheck/Inst.lhs +7 M ./compiler/typecheck/TcSimplify.lhs -4 +10 M ./compiler/typecheck/TcTyFuns.lhs -89 +108 View patch online: http://darcs.hask

patch applied (ghc): Type families: completed the new equality solver

Sat Sep 13 06:36:31 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: completed the new equality solver - Implements normalisation of class constraints containing synonym family applications or skolems refined by local equalities. - Clean up of TcSimplify.reduceContext

patch applied (testsuite): Type families: don't bleat about regressions with new solver

Tue Sep 16 20:46:52 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: don't bleat about regressions with new solver M ./tests/ghc-regress/indexed-types/should_compile/all.T -18 +18 M ./tests/ghc-regress/indexed-types/should_fail/all.T -2 +2 View patch online: http://

patch applied (testsuite): Type families & GADTs: fixed tests

Tue Sep 16 08:12:18 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families & GADTs: fixed tests M ./tests/ghc-regress/gadt/all.T -5 +2 M ./tests/ghc-regress/indexed-types/should_compile/all.T -2 +2 M ./tests/ghc-regress/typecheck/should_compile/T2494.stderr -11 View pa

patch applied (testsuite): Type families: output wibble

Mon Sep 15 22:51:06 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: output wibble M ./tests/ghc-regress/indexed-types/should_compile/Simple20.stderr -1 +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080916055106-6295e-148c171cb672d5438267e95a

patch applied (testsuite): Type families: harmless changes of error messages by new algo

Sun Sep 14 09:34:45 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: harmless changes of error messages by new algo M ./tests/ghc-regress/indexed-types/should_fail/Simple5a.stderr -9 +1 M ./tests/ghc-regress/typecheck/should_compile/T2494.stderr -8 +8 View patch onl

patch applied (testsuite): Type families: Simple20: warning about loopy equality

Sun Sep 14 05:07:42 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: Simple20: warning about loopy equality A ./tests/ghc-regress/indexed-types/should_compile/Simple20.stderr View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080914120742-6295e-0423c

patch applied (ghc): Type families: new algorithm to solve equalities

Sun Sep 7 04:21:28 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: new algorithm to solve equalities - This adds the new equational solver based on the notion of normalised equalities. - The new algorithm is conceptually much simpler and will eventually enable us

patch applied (testsuite): Type families: GADT instances for data families (#1968)

Mon Jul 14 23:42:46 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: GADT instances for data families (#1968) A ./tests/ghc-regress/indexed-types/should_compile/GADT13.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.has

patch applied (testsuite): Type families: test for 1st half of #2203

Mon Jul 14 22:45:49 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: test for 1st half of #2203 M ./tests/ghc-regress/indexed-types/should_fail/Simple13.stderr -2 +2 A ./tests/ghc-regress/indexed-types/should_fail/T2203a.hs A ./tests/ghc-regress/indexed-types/sho

patch applied (ghc): Fix for 1st half of #2203

Mon Jul 14 22:27:51 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Fix for 1st half of #2203 M ./compiler/typecheck/TcMType.lhs -15 +19 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080715052751-6295e-5c9f4b00187722f0e70c247b4ebbbf36179ef0aa.gz __

patch applied (testsuite): Type families: T2157

Mon Jul 14 17:31:26 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: T2157 M ./tests/ghc-regress/indexed-types/should_fail/Simple12.stderr -1 +1 A ./tests/ghc-regress/indexed-types/should_fail/T2157.hs A ./tests/ghc-regress/indexed-types/should_fail/T2157.stderr

patch applied (ghc): Fix check of rhs of type family instances (#2157)

Mon Jul 14 02:45:24 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Fix check of rhs of type family instances (#2157) M ./compiler/typecheck/TcMType.lhs -7 +1 M ./compiler/typecheck/TcTyClsDecls.lhs -2 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/200807140945

  1   2   3   >