projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix Trac #3017: ensure that we quantify over enough type variables when equalities...
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
commit | commitdiff | tree
2009-02-11 simonpj@microsoft.comTurn another ASSERT into a WARN (temproraily)
 commit | commitdiff | tree
2009-02-11 simonpj@microsoft.comImprove documentation for LANGUAGE pragma (esp wrt...
commit | commitdiff | tree
2009-02-04 simonpj@microsoft.comCheck -XGADTs in (a) type family decls (b) pattern...
commit | commitdiff | tree
2009-02-04 simonpj@microsoft.comImprove error reports for kind checking (Trac #2994)
 commit | commitdiff | tree
2009-02-04 simonpj@microsoft.comFurther wibbles to 'deriving' for functor-like things
 commit | commitdiff | tree
2009-02-04 simonpj@microsoft.comFix Trac #2999: change an ASSERT to a WARN
 commit | commitdiff | tree
2009-02-04 simonpj@microsoft.comImprove transferPolyIdInfo for value-arg abstraction
 commit | commitdiff | tree
2009-02-04 simonpj@microsoft.comTwo small improvements to LiberateCase
 commit | commitdiff | tree
2009-01-15 simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring
 commit | commitdiff | tree
2009-01-14 simonpj@microsoft.comRobustify lookupFamInstEnv
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comImprove trace message
 commit | commitdiff | tree
2009-02-02 simonpj@microsoft.comImprove error reporting for precedence errors
 commit | commitdiff | tree
2009-02-02 simonpj@microsoft.comAdd the ability to derive instances of Functor, Foldable...
commit | commitdiff | tree
2009-01-30 simonpj@microsoft.comComments about injecting implicit bindings
 commit | commitdiff | tree
2009-01-30 simonpj@microsoft.comFix Trac #2985: generating superclasses and recursive...
commit | commitdiff | tree
2009-01-30 simonpj@microsoft.comWhite space only
 commit | commitdiff | tree
2009-01-29 simonpj@microsoft.comTwo more wibbles to CorePrep (fixes HTTP package and...
commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comFix Trac #2931
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comRewrite CorePrep and improve eta expansion
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercion...
commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comSpelling in comment only
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comMake the ASSERT more informative
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comExport mapOL from OrdList
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comImprove error messages slightly
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comDo not do SpecConstr on functions that unconditionally...
commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comMake -XTypeFamilies imply -XRelaxedPolyRec (Trac #2944)
 commit | commitdiff | tree
2009-01-13 simonpj@microsoft.comFix Trac #2937: deserialising assoicated type definitions
 commit | commitdiff | tree
2009-01-08 simonpj@microsoft.comFix Trac #2914: record wild cards and assoicated types
 commit | commitdiff | tree
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions
 commit | commitdiff | tree
2008-12-31 simonpj@microsoft.comFix Trac #2721: reject newtype deriving if the class...
commit | commitdiff | tree
2008-12-31 simonpj@microsoft.com-XImpredicativeTypes implies -XRankNTypes, and improve...
commit | commitdiff | tree
2008-12-31 simonpj@microsoft.comFix Trac #2856: make deriving work for type families
 commit | commitdiff | tree
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments
 commit | commitdiff | tree
2008-12-31 simonpj@microsoft.comRemove -XImpredicativeTypes from -fglasgow-exts
 commit | commitdiff | tree
2008-12-31 simonpj@microsoft.comImprove error reporting for 'deriving'
 commit | commitdiff | tree
2008-12-30 simonpj@microsoft.comImprove error message in deriving (fix Trac #2851)
 commit | commitdiff | tree
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ...
commit | commitdiff | tree
2008-12-30 simonpj@microsoft.comRefactor RnEnv to fix Trac #2901
 commit | commitdiff | tree
2008-12-30 simonpj@microsoft.comAdd quotes to error message
 commit | commitdiff | tree
2008-12-30 simonpj@microsoft.comTidy up treatment of big lambda (fixes Trac #2898)
 commit | commitdiff | tree
2008-12-10 simonpj@microsoft.comImprove documentation for data family instances (cf...
commit | commitdiff | tree
2008-12-09 simonpj@microsoft.comFix Trac #2861: bogus eta expansion
 commit | commitdiff | tree
2008-12-08 simonpj@microsoft.comInject implicit bindings after CoreTidy, not before...
commit | commitdiff | tree
2008-12-08 simonpj@microsoft.comAdd assertion for arity match (checks Trac #2844)
 commit | commitdiff | tree
2008-12-08 simonpj@microsoft.comUse CoreSubst.simpleOptExpr in place of the ad-hoc...
commit | commitdiff | tree
2008-12-08 simonpj@microsoft.comMove simpleOptExpr from CoreUnfold to CoreSubst
 commit | commitdiff | tree
2008-12-08 simonpj@microsoft.comWhite space only
 commit | commitdiff | tree
2008-12-08 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comAdd -fpass-case-bndr-to-join-points
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comAdd static flag -fsimple-list-literals
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comComments only in OccurAnal
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comLayout only
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comComments only (Note [Entering error thunks])
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comMake CoreToStg a little more robust to eta expansion
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comAdd no-op case for addIdSpecialisations (very minor...
commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comTrim redundant import
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comMake CoreTidy retain deadness info (better -ddump-simpl)
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comRemove INLINE pragmas on recursive functions
 commit | commitdiff | tree
2008-12-05 simonpj@microsoft.comComments only (on Activation)
 commit | commitdiff | tree
2008-12-01 simonpj@microsoft.comBetter error message for fundep conflict
 commit | commitdiff | tree
2008-11-26 simonpj@microsoft.comFix Trac #2817 (TH syntax -> HsSyn conversion)
 commit | commitdiff | tree
2008-11-26 simonpj@microsoft.comFix Trac #2756: CorePrep strictness bug
 commit | commitdiff | tree
2008-11-26 simonpj@microsoft.comFormat output for :t more nicely
 commit | commitdiff | tree
2008-11-26 simonpj@microsoft.comFix Trac #2766: printing operator type variables
 commit | commitdiff | tree
2008-11-26 simonpj@microsoft.comFix build following codegen patch
 commit | commitdiff | tree
2008-11-25 simonpj@microsoft.comFix Trac #2799: TcType.isOverloadedTy
 commit | commitdiff | tree
2008-11-20 simonpj@microsoft.comFix flag name -XDisambiguateRecordFields
 commit | commitdiff | tree
2008-11-03 simonpj@microsoft.comFix desugaring of record update (fixes Trac #2735)
 commit | commitdiff | tree
2008-10-31 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-10-31 simonpj@microsoft.comFix imports
 commit | commitdiff | tree
2008-10-30 simonpj@microsoft.comImprove error reporting for non-rigid GADT matches
 commit | commitdiff | tree
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature
 commit | commitdiff | tree
2008-10-30 simonpj@microsoft.comFix Trac #2674: in TH reject empty case expressions...
commit | commitdiff | tree
2008-10-29 simonpj@microsoft.comChange naming conventions for compiler-generated dictionarie...
commit | commitdiff | tree
2008-10-29 simonpj@microsoft.comFix tcrun031: yet more tidying up in TcDeriv
 commit | commitdiff | tree
2008-10-29 simonpj@microsoft.comAdd Outputable instance for CoercionI
 commit | commitdiff | tree
2008-10-28 simonpj@microsoft.comFix Trac #2720: inlining and casts
 commit | commitdiff | tree
2008-10-28 simonpj@microsoft.comClarify documentatoin
 commit | commitdiff | tree
2008-10-28 simonpj@microsoft.comMostly-fix Trac #2595: updates for existentials
 commit | commitdiff | tree
2008-10-28 simonpj@microsoft.comFix Trac #2723: keep track of record field names in...
commit | commitdiff | tree
2008-10-28 simonpj@microsoft.comRemove dead code
 commit | commitdiff | tree
2008-10-27 simonpj@microsoft.comFix Trac #2713: refactor and tidy up renaming of fixity...
commit | commitdiff | tree
2008-10-25 simonpj@microsoft.comFix Trac #2701: make deriving check better for unlifted...
commit | commitdiff | tree
2008-10-22 simonpj@microsoft.comFix Trac #2714 (a minor wibble)
 commit | commitdiff | tree
2008-10-21 simonpj@microsoft.comComments and parens only
 commit | commitdiff | tree
2008-10-21 simonpj@microsoft.comDo proper cloning in worker/wrapper splitting
 commit | commitdiff | tree
2008-10-21 simonpj@microsoft.comDon't float an expression wrapped in a cast
 commit | commitdiff | tree
2008-10-21 simonpj@microsoft.comFix Trac #2668, and refactor TcDeriv
 commit | commitdiff | tree
2008-10-19 simonpj@microsoft.comSpelling error in comment
 commit | commitdiff | tree
2008-10-19 simonpj@microsoft.comWhite space only
 commit | commitdiff | tree
2008-10-19 simonpj@microsoft.comComments to explain strict overlap checking for type...
commit | commitdiff | tree
2008-09-23 simonpj@microsoft.comAllow type families to use GADT syntax (and be GADTs)
 commit | commitdiff | tree
2008-09-23 simonpj@microsoft.comImprove crash message from applyTys and applyTypeToArgs
 commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comWibble to ungrammatical error message
 commit | commitdiff | tree
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equality...
commit | commitdiff | tree
2008-10-15 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-10-15 simonpj@microsoft.comFix Trac #2497; two separate typos in Lexer.x
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)