projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor SrcLoc and SrcSpan
[ghc-hetmet.git] / compiler / typecheck /
2011-02-09 simonpj@microsoft.comSimpify constraints from a TH bracket eagerly tree | commitdiff
2011-02-09 simonpj@microsoft.comTypo in comment tree | commitdiff
2011-02-01 simonpj@microsoft.comFix type checker error message tree | commitdiff
2011-01-26 simonpj@microsoft.comLook through type synonyms when computing orphans tree | commitdiff
2011-01-25 simonpj@microsoft.comFix Trac #4917: try a bit harder to unify on-the-fly tree | commitdiff
2011-01-13 simonpj@microsoft.comMake Template Haskell classInstances function return... tree | commitdiff
2011-01-13 simonpj@microsoft.comWhite space only tree | commitdiff
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine tree | commitdiff
2011-01-10 simonpj@microsoft.comDo dependency analysis when kind-checking type declarations tree | commitdiff
2010-12-24 simonpj@microsoft.comFix Trac #4525: report type errors in terms of the... tree | commitdiff
2010-12-22 simonpj@microsoft.comImplement fuzzy matching for the renamer tree | commitdiff
2010-12-22 simonpj@microsoft.comTidy up rebindable syntax for MDo tree | commitdiff
2010-12-22 simonpj@microsoft.comMake mkDFunUnfolding more robust tree | commitdiff
2010-12-21 simonpj@microsoft.comSingle-method classes are implemented with a newtype tree | commitdiff
2010-11-01 simonpj@microsoft.comFor single-method classes use newtypes tree | commitdiff
2010-12-18 Ian LynaghImplement GADTSyntax extension tree | commitdiff
2010-12-15 simonpj@microsoft.comFix a bug in functorLikeTraverse, which was giving... tree | commitdiff
2010-12-15 simonpj@microsoft.comImprove printing for -ddump-deriv tree | commitdiff
2010-12-14 simonpj@microsoft.comFix Trac #4841: behave right with TypeSynonymInstances... tree | commitdiff
2010-12-14 simonpj@microsoft.comFix Trac #3731: more superclass subtlety (sigh) tree | commitdiff
2010-12-14 simonpj@microsoft.comLess verbose debug print tree | commitdiff
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809. tree | commitdiff
2010-12-10 dimitris@microsoft.comDoing the smart canonicalization only if we are not... tree | commitdiff
2010-12-09 dimitris@microsoft.comMoved canonicalisation inside solveInteract tree | commitdiff
2010-12-03 simonpj@microsoft.comFix up TcInstDcls tree | commitdiff
2010-12-02 Simon MarlowFix a recomp bug: make classes/datatypes depend directl... tree | commitdiff
2010-12-02 simonpj@microsoft.comRe-jig simplifySuperClass (again) tree | commitdiff
2010-12-02 simonpj@microsoft.comA little refactoring (remove redundant argument passed... tree | commitdiff
2010-12-02 simonpj@microsoft.comMake rebindable if-then-else a little more permissive tree | commitdiff
2010-12-02 simonpj@microsoft.comImprove error message (Trac #4799) tree | commitdiff
2010-11-01 simonpj@microsoft.comWhite space only tree | commitdiff
2010-11-24 Ian LynaghDon't mix implicit and explicit layout tree | commitdiff
2010-11-18 simonpj@microsoft.comMove the superclass generation to the canonicaliser tree | commitdiff
2010-11-18 simonpj@microsoft.comOmit bogus test for -XDeriveFunctor tree | commitdiff
2010-11-18 simonpj@microsoft.comImprove error message on advice from a user tree | commitdiff
2010-11-17 simonpj@microsoft.comFix Trac #4498: bang-pattern bindings are monomorphic tree | commitdiff
2010-11-16 simonpj@microsoft.comWarn a bit less often about unlifted bindings. tree | commitdiff
2010-11-15 simonpj@microsoft.comDeriving Typeable changes tree | commitdiff
2010-11-15 simonpj@microsoft.comEnsure that instance overlap errors are report properly tree | commitdiff
2010-11-15 simonpj@microsoft.comEnsure that unification variables alloc'd during solvin... tree | commitdiff
2010-11-05 simonpj@microsoft.comRemove the now-unused constructor VarPatOut tree | commitdiff
2010-11-05 simonpj@microsoft.comTrack change in isInlinePragma tree | commitdiff
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker tree | commitdiff
2010-11-12 simonpj@microsoft.comAllow the old [$foo| ... |] syntax for quasi-quotes tree | commitdiff
2010-11-01 simonpj@microsoft.comImprove error messages tree | commitdiff
2010-10-27 Simon MarlowRefactoring and tidyup of HscMain and related things... tree | commitdiff
2010-10-27 simonpj@microsoft.comWarn (not error) for SPECIALISE pragmas without INLINE tree | commitdiff
2010-10-23 Ian LynaghRemove the need to explicitly flatten the dynflags tree | commitdiff
2010-10-22 dimitris@microsoft.comOptimised the representation of Inert Sets to use Maps... tree | commitdiff
2010-10-22 simonpj@microsoft.comAdd rebindable syntax for if-then-else tree | commitdiff
2010-10-21 Ian LynaghSwitch more uniqFromSupply+splitUniqSupply's to takeUni... tree | commitdiff
2010-10-21 Ian LynaghWhitespace only tree | commitdiff
2010-10-21 simonpj@microsoft.comTidy up RuntimeUnkSkols a bit more tree | commitdiff
2010-10-21 simonpj@microsoft.comFix haddock markup tree | commitdiff
2010-10-21 simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli... tree | commitdiff
2010-10-20 Ian LynaghFix haddock markup tree | commitdiff
2010-10-20 simonpj@microsoft.comComments and layout only tree | commitdiff
2010-10-20 dimitris@microsoft.com(1) More lenient kind checking, (2) Fixed orientation... tree | commitdiff
2010-10-19 dimitris@microsoft.comMidstream changes to deal with spontaneous solving... tree | commitdiff
2010-10-20 simonpj@microsoft.comRefactor, plus fix Trac #4418 tree | commitdiff
2010-10-19 simonpj@microsoft.comComments only tree | commitdiff
2010-10-19 simonpj@microsoft.comFix debugger tree | commitdiff
2010-10-19 simonpj@microsoft.comFix IPRun by fixing the inferred quantification mechanism tree | commitdiff
2010-10-19 simonpj@microsoft.comRecover after an error in an implication constraint tree | commitdiff
2010-10-19 simonpj@microsoft.comReject programs with equality superclasses for now tree | commitdiff
2010-10-19 simonpj@microsoft.comLayout and tiny refactoring only tree | commitdiff
2010-10-19 simonpj@microsoft.comClean up the debugger code tree | commitdiff
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali... tree | commitdiff
2010-10-15 dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) prevent... tree | commitdiff
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related... tree | commitdiff
2010-10-12 dimitris@microsoft.comMinor tree | commitdiff
2010-10-11 dimitris@microsoft.comCommentary changes tree | commitdiff
2010-10-08 dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds... tree | commitdiff
2010-10-15 simonpj@microsoft.comComments and layout tree | commitdiff
2010-10-15 simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint... tree | commitdiff
2010-10-13 simonpj@microsoft.comRemove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope tree | commitdiff
2010-10-15 Simon MarlowInlinePrag needs an arity only for INLINE, not INLINABLE tree | commitdiff
2010-10-13 benl@ouroborus.netFix warnings tree | commitdiff
2010-10-10 Ian LynaghRemove unnecessary import tree | commitdiff
2010-10-08 simonpj@microsoft.comFix Trac #4360: omitted case in combineCtLoc tree | commitdiff
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and... tree | commitdiff
2010-10-08 simonpj@microsoft.comDo less simplification when doing let-generalisation tree | commitdiff
2010-10-08 simonpj@microsoft.comSuppress ambiguity errors if any other errors occur tree | commitdiff
2010-10-08 simonpj@microsoft.comFix Trac #4361: be more discerning when inferring types tree | commitdiff
2010-10-08 simonpj@microsoft.comSuppress knock-on typechecker errors tree | commitdiff
2010-10-07 simonpj@microsoft.comSome refactoring and simplification in TcInteract.occur... tree | commitdiff
2010-10-07 simonpj@microsoft.comComments only tree | commitdiff
2010-10-07 simonpj@microsoft.comImplement auto-specialisation of imported Ids tree | commitdiff
2010-10-07 simonpj@microsoft.comThis is just white-space and layout tree | commitdiff
2010-10-07 simonpj@microsoft.comFix a looping bug in the new occur-check code tree | commitdiff
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker tree | commitdiff
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing tree | commitdiff
2010-09-23 dimitris@microsoft.comPerformance bug fixes tree | commitdiff
2010-10-06 simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch tree | commitdiff
2010-09-24 Simon MarlowUsing 'stdcall' when it is not supported is only a... tree | commitdiff
2010-09-24 simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic... tree | commitdiff
2010-09-19 simonpj@microsoft.comLoosen the conditions for -XUndecidableInstances; fixes... tree | commitdiff
2010-09-19 simonpj@microsoft.comFurther improvements in error messages tree | commitdiff
2010-09-19 simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ... tree | commitdiff
2010-09-19 simonpj@microsoft.comInclude the "stupid theta" in the type of $con2tag tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)