projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use FractionalLit more extensively to improve other pretty printers
[ghc-hetmet.git] / compiler / typecheck /
2011-05-15 Max BolingbrokeUse FractionalLit more extensively to improve other... tree | commitdiff
2011-05-15 Max BolingbrokeRecord the original text along with parsed Rationals... tree | commitdiff
2011-05-12 Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc tree | commitdiff
2011-05-12 Simon Peyton JonesThe final batch of changes for the new coercion represe... tree | commitdiff
2011-05-12 Simon Peyton JonesWhite space only tree | commitdiff
2011-05-09 Simon Peyton JonesMerge ghc-new-co into master branch tree | commitdiff
2011-05-08 Ian LynaghMerge branch 'coloured-core' of https://github.com... tree | commitdiff
2011-05-06 Simon Peyton JonesFix build tree | commitdiff
2011-05-06 Simon Peyton JonesMerge master into the ghc-new-co branch tree | commitdiff
2011-05-06 Simon Peyton JonesUse eqSpecPreds tree | commitdiff
2011-05-04 Simon Peyton JonesMake import conditional on DEBUG to avoid unused-import... tree | commitdiff
2011-05-04 Simon Peyton JonesPrint contraint step counts only with -dppr-debug tree | commitdiff
2011-05-04 Simon Peyton JonesImprove error message when a function is applied tree | commitdiff
2011-05-04 Simon Peyton JonesFinal batch of monad-comprehension stuff tree | commitdiff
2011-05-03 Simon Peyton JonesMore hacking on monad-comp tree | commitdiff
2011-05-02 Simon Peyton JonesMore on monad-comp; an intermediate state, so don't... tree | commitdiff
2011-05-02 Simon Peyton JonesMerge in changes from HEAD tree | commitdiff
2011-05-02 Simon Peyton JonesMore hacking on monad-comp; now works tree | commitdiff
2011-05-02 Simon Peyton JonesA few more wibbles on ghc-new-co tree | commitdiff
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co tree | commitdiff
2011-04-29 Simon Peyton JonesSimon's hacking on monad-comp; incomplete tree | commitdiff
2011-04-28 Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp tree | commitdiff
2011-04-28 Simon Peyton JonesPreliminary monad-comprehension patch (Trac #4370) tree | commitdiff
2011-04-27 U-EUROPE\dimitrisMerge branch 'master' of darcs.haskell.org/ghc tree | commitdiff
2011-04-27 U-EUROPE\dimitrisSolving one IP from another. This fixes #5120. tree | commitdiff
2011-04-26 David TereiFormatting fixes to TcForeign.lhs tree | commitdiff
2011-04-26 David TereiFormatting wibble tree | commitdiff
2011-04-20 Simon Peyton JonesTidy up SigTv tree | commitdiff
2011-04-20 Simon Peyton JonesFix Trac #5130: missed error report tree | commitdiff
2011-04-20 Simon Peyton JonesDont print "Constraint solver steps = n" if -dno-debug... tree | commitdiff
2011-04-19 simonpjSlightly better tracing in the constraint solver tree | commitdiff
2011-04-19 simonpjSimplify treatement of pragmas slightly tree | commitdiff
2011-04-19 simonpjFix Trac #5041: parse the trailing '#' tree | commitdiff
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... tree | commitdiff
2011-04-07 Thomas SchillingStart support for coloured SDoc output. tree | commitdiff
2011-04-06 Edward Z. YangRevert "Suppress dumpTcRn when -dno-debug-output is... tree | commitdiff
2011-04-05 Edward Z. YangSuppress dumpTcRn when -dno-debug-output is enabled. tree | commitdiff
2011-04-03 Ian LynaghFix build tree | commitdiff
2011-04-03 Max BolingbrokeUse tcRnImports rather than rnImports with GHCi "import... tree | commitdiff
2011-03-31 dimitris@microsoft.comIntroducing a datatype for WorkLists that properly... tree | commitdiff
2011-03-31 simonpj@microsoft.comFix Trac #5048: location on AbsBinds tree | commitdiff
2011-03-31 simonpj@microsoft.comComments and variable naming only tree | commitdiff
2011-03-31 simonpj@microsoft.comRe-enable assertion now the new type checker is in tree | commitdiff
2011-02-22 simonpj@microsoft.comRestore SPECIALISE INSTANCE pragmas tree | commitdiff
2011-02-21 simonpj@microsoft.comFix another fundep error (fixes Trac #4969) tree | commitdiff
2011-02-20 Manuel M T ChakravartyAdded a VECTORISE pragma tree | commitdiff
2011-02-17 simonpj@microsoft.comChange typechecker-trace output slightly tree | commitdiff
2011-02-17 simonpj@microsoft.comComments only tree | commitdiff
2011-02-17 simonpj@microsoft.comFix Trac #4966 tree | commitdiff
2011-02-17 simonpj@microsoft.comUse "on the spot" solving for fundeps tree | commitdiff
2011-02-14 simonpj@microsoft.comComments only tree | commitdiff
2011-02-11 simonpj@microsoft.comNew plan: push unsolved wanteds inwards tree | commitdiff
2011-02-11 simonpj@microsoft.comRemove unnecessary import, plus white space tree | commitdiff
2011-02-11 simonpj@microsoft.comFix small but egregious error: using un-zonked constrai... tree | commitdiff
2011-02-11 simonpj@microsoft.commakeSolvedByInst is only called on wanteds tree | commitdiff
2011-02-09 Ian LynaghAllow TH brackets to contain things of any kind tree | commitdiff
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)