add -fsimpleopt-before-flatten
[ghc-hetmet.git] / compiler / typecheck /
2011-05-30 Adam MegaczTcHsType: set the kind for tyvars that occur in explici...
2011-05-09 Adam Megaczupdate compiler using *->*->* as the kind of environmen...
2011-04-25 Adam MegaczMerge branch 'master' of
2011-04-20 Adam Megaczmerge upstream HEAD
2011-04-20 Simon Peyton JonesTidy up SigTv
2011-04-20 Simon Peyton JonesFix Trac #5130: missed error report
2011-04-20 Simon Peyton JonesDont print "Constraint solver steps = n" if -dno-debug...
2011-04-19 simonpjSlightly better tracing in the constraint solver
2011-04-19 simonpjSimplify treatement of pragmas slightly
2011-04-19 simonpjFix Trac #5041: parse the trailing '#'
2011-04-17 Adam Megaczmerge up to ghc HEAD 16-Apr-2011
2011-04-06 Edward Z. YangRevert "Suppress dumpTcRn when -dno-debug-output is...
2011-04-05 Edward Z. YangSuppress dumpTcRn when -dno-debug-output is enabled.
2011-04-03 Ian LynaghFix build
2011-04-03 Max BolingbrokeUse tcRnImports rather than rnImports with GHCi "import...
2011-03-31 dimitris@microsoft.comIntroducing a datatype for WorkLists that properly...
2011-03-31 simonpj@microsoft.comFix Trac #5048: location on AbsBinds
2011-03-31 simonpj@microsoft.comComments and variable naming only
2011-03-31 simonpj@microsoft.comRe-enable assertion now the new type checker is in
2011-03-14 Adam Megaczeliminate reliance on -XRebindableSyntax
2011-03-08 Adam Megaczhandle stage-(n+1) literals properly by expanding them...
2011-03-03 Adam Megaczrebase to ghc main repo
2011-03-02 Adam MegaczInitial checkin of HetMet / -XModalTypes modifications
2011-02-22 simonpj@microsoft.comRestore SPECIALISE INSTANCE pragmas
2011-02-09 Ian LynaghAllow TH brackets to contain things of any kind
2011-02-09 simonpj@microsoft.comSimpify constraints from a TH bracket eagerly
2011-02-09 simonpj@microsoft.comTypo in comment
2011-02-21 simonpj@microsoft.comFix another fundep error (fixes Trac #4969)
2011-02-20 Manuel M T ChakravartyAdded a VECTORISE pragma
2011-02-17 simonpj@microsoft.comChange typechecker-trace output slightly
2011-02-17 simonpj@microsoft.comComments only
2011-02-17 simonpj@microsoft.comFix Trac #4966
2011-02-17 simonpj@microsoft.comUse "on the spot" solving for fundeps
2011-02-14 simonpj@microsoft.comComments only
2011-02-11 simonpj@microsoft.comNew plan: push unsolved wanteds inwards
2011-02-11 simonpj@microsoft.comRemove unnecessary import, plus white space
2011-02-11 simonpj@microsoft.comFix small but egregious error: using un-zonked constrai...
2011-02-11 simonpj@microsoft.commakeSolvedByInst is only called on wanteds
2011-02-01 simonpj@microsoft.comFix type checker error message
2011-01-26 simonpj@microsoft.comLook through type synonyms when computing orphans
2011-01-25 simonpj@microsoft.comFix Trac #4917: try a bit harder to unify on-the-fly
2011-01-13 simonpj@microsoft.comMake Template Haskell classInstances function return...
2011-01-13 simonpj@microsoft.comWhite space only
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2011-01-10 simonpj@microsoft.comDo dependency analysis when kind-checking type declarations
2010-12-24 simonpj@microsoft.comFix Trac #4525: report type errors in terms of the...
2010-12-22 simonpj@microsoft.comImplement fuzzy matching for the renamer
2010-12-22 simonpj@microsoft.comTidy up rebindable syntax for MDo
2010-12-22 simonpj@microsoft.comMake mkDFunUnfolding more robust
2010-12-21 simonpj@microsoft.comSingle-method classes are implemented with a newtype
2010-11-01 simonpj@microsoft.comFor single-method classes use newtypes
2010-12-18 Ian LynaghImplement GADTSyntax extension
2010-12-15 simonpj@microsoft.comFix a bug in functorLikeTraverse, which was giving...
2010-12-15 simonpj@microsoft.comImprove printing for -ddump-deriv
2010-12-14 simonpj@microsoft.comFix Trac #4841: behave right with TypeSynonymInstances...
2010-12-14 simonpj@microsoft.comFix Trac #3731: more superclass subtlety (sigh)
2010-12-14 simonpj@microsoft.comLess verbose debug print
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-10 dimitris@microsoft.comDoing the smart canonicalization only if we are not...
2010-12-09 dimitris@microsoft.comMoved canonicalisation inside solveInteract
2010-12-03 simonpj@microsoft.comFix up TcInstDcls
2010-12-02 Simon MarlowFix a recomp bug: make classes/datatypes depend directl...
2010-12-02 simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-12-02 simonpj@microsoft.comA little refactoring (remove redundant argument passed...
2010-12-02 simonpj@microsoft.comMake rebindable if-then-else a little more permissive
2010-12-02 simonpj@microsoft.comImprove error message (Trac #4799)
2010-11-01 simonpj@microsoft.comWhite space only
2010-11-24 Ian LynaghDon't mix implicit and explicit layout
2010-11-18 simonpj@microsoft.comMove the superclass generation to the canonicaliser
2010-11-18 simonpj@microsoft.comOmit bogus test for -XDeriveFunctor
2010-11-18 simonpj@microsoft.comImprove error message on advice from a user
2010-11-17 simonpj@microsoft.comFix Trac #4498: bang-pattern bindings are monomorphic
2010-11-16 simonpj@microsoft.comWarn a bit less often about unlifted bindings.
2010-11-15 simonpj@microsoft.comDeriving Typeable changes
2010-11-15 simonpj@microsoft.comEnsure that instance overlap errors are report properly
2010-11-15 simonpj@microsoft.comEnsure that unification variables alloc'd during solvin...
2010-11-05 simonpj@microsoft.comRemove the now-unused constructor VarPatOut
2010-11-05 simonpj@microsoft.comTrack change in isInlinePragma
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-11-12 simonpj@microsoft.comAllow the old [$foo| ... |] syntax for quasi-quotes
2010-11-01 simonpj@microsoft.comImprove error messages
2010-10-27 Simon MarlowRefactoring and tidyup of HscMain and related things...
2010-10-27 simonpj@microsoft.comWarn (not error) for SPECIALISE pragmas without INLINE
2010-10-23 Ian LynaghRemove the need to explicitly flatten the dynflags
2010-10-22 dimitris@microsoft.comOptimised the representation of Inert Sets to use Maps...
2010-10-22 simonpj@microsoft.comAdd rebindable syntax for if-then-else
2010-10-21 Ian LynaghSwitch more uniqFromSupply+splitUniqSupply's to takeUni...
2010-10-21 Ian LynaghWhitespace only
2010-10-21 simonpj@microsoft.comTidy up RuntimeUnkSkols a bit more
2010-10-21 simonpj@microsoft.comFix haddock markup
2010-10-21 simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
2010-10-20 Ian LynaghFix haddock markup
2010-10-20 simonpj@microsoft.comComments and layout only
2010-10-20 More lenient kind checking, (2) Fixed orientation...
2010-10-19 dimitris@microsoft.comMidstream changes to deal with spontaneous solving...
2010-10-20 simonpj@microsoft.comRefactor, plus fix Trac #4418
2010-10-19 simonpj@microsoft.comComments only
2010-10-19 simonpj@microsoft.comFix debugger
2010-10-19 simonpj@microsoft.comFix IPRun by fixing the inferred quantification mechanism
2010-10-19 simonpj@microsoft.comRecover after an error in an implication constraint