| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | | * | | | Improved checks for "dynamic" and "wrapper" foreign declarations (#5664) | Paolo Capriotti | 2012-04-04 | 2 | -14/+35 | |
| | | | | | | ||||||
| | | * | | | Prevent nested TH exceptions from bubbling up to the top level (#5976) | Paolo Capriotti | 2012-04-03 | 2 | -6/+37 | |
| | | | | | | ||||||
| | | * | | | Support qualified identifiers in quasi-quotes (#5555). | Paolo Capriotti | 2012-04-02 | 2 | -1/+29 | |
| | | | | | | ||||||
| | | * | | | Fixed typo in b857c8ad which caused NewtypeD to be interpreted as DataD. | Mikhail Vorozhtsov | 2012-04-02 | 1 | -1/+1 | |
| | | | |/ | | |/| | | | | | | | | | Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com> | |||||
| | * | | | Adding a forgotten pre-canonicalication cache-lookup stage. | Dimitrios.Vytiniotis | 2012-04-04 | 2 | -2/+22 | |
| | | | | | ||||||
| | * | | | Wibble: using original type for the dictionary if it has not changed (to ↵ | Dimitrios.Vytiniotis | 2012-04-04 | 1 | -3/+6 | |
| | | | | | | | | | | | | | | | | | preserve synonyms) | |||||
| | * | | | More informative tracing for ddump-cs-trace | Dimitrios.Vytiniotis | 2012-04-04 | 2 | -6/+10 | |
| | | | | | ||||||
| | * | | | When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity, | Dimitrios.Vytiniotis | 2012-04-03 | 1 | -5/+11 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | avoid setting the flavor PredType to be the new PredType if the types exactly match, so that in case of failure we report errors that do not have expanded type synonyms. | |||||
| | * | | | Bugfix in emitKindConstraint (must not cache orig constraint as Solved!); added | Dimitrios.Vytiniotis | 2012-04-03 | 1 | -1/+7 | |
| | | | | | | | | | | | | | | | | | short note to document an example. | |||||
| | * | | | Commentary, following the relaxation of idempotence of the inert substitution. | Dimitrios.Vytiniotis | 2012-04-03 | 3 | -9/+37 | |
| | | | | | ||||||
| | * | | | Dropping the idempotence restriction on the inert substitution, | Dimitrios.Vytiniotis | 2012-04-02 | 1 | -69/+24 | |
| | | | | | | | | | | | | | | | | | for efficiency. More documentation to follow. | |||||
| | * | | | Deleting more old commented code. | Dimitrios.Vytiniotis | 2012-04-02 | 2 | -414/+1 | |
| | | | | | ||||||
| | * | | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor | Dimitrios.Vytiniotis | 2012-04-02 | 12 | -256/+371 | |
| | |\ \ \ | | |/ / | ||||||
| | | * | | Whitespace only in main/Packages.lhs | Ian Lynagh | 2012-04-01 | 1 | -167/+160 | |
| | | | | | ||||||
| | | * | | Tidy up compiler/ghc.cabal.in | Ian Lynagh | 2012-04-01 | 1 | -26/+10 | |
| | | | | | | | | | | | | | | | | | We now always have base4, and don't need a workaround for GHC 6.4.2. | |||||
| | | * | | Add some missing equations for type-literals. | Iavor S. Diatchki | 2012-03-31 | 1 | -0/+6 | |
| | | | | | ||||||
| | | * | | Attempt to detect loops through imported function RULEs | Max Bolingbroke | 2012-03-30 | 1 | -9/+102 | |
| | | |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is motivated by the fact that before this change marking e.g. GHC.List.filter as INLINABLE caused the compiler to diverge when you tried to make use of the function. The response is to say that a RULE on an imported function introduces a dependency edge between the FVs of its LHS and RHS for the purposes of computing loop breakers. This will not perfectly prevent all those potential inlinings that could cause the compiler to non-terminate, but it works well enough for the particular case we are interested in. | |||||
| | | * | Don't do validity checking on types in Template Haskell type brackets | Simon Peyton Jones | 2012-03-30 | 1 | -1/+3 | |
| | | | | | | | | | | | | | We might be in the "knot" of a type declaration: see Trac #5968. | |||||
| | | * | A related group of changes that make lexically scoped type | Simon Peyton Jones | 2012-03-30 | 2 | -43/+69 | |
| | | | | | | | | | | | | | | | | | | | variables work in Template Haskell Triggered by fixing Trac #5968. | |||||
| | | * | Don't crash if there's a malformed instance! | Simon Peyton Jones | 2012-03-30 | 1 | -3/+7 | |
| | | | | | | | | | | | | | Fixes Trac #5951 | |||||
| | | * | White space only | Simon Peyton Jones | 2012-03-30 | 1 | -1/+1 | |
| | | | | ||||||
| | | * | Comments only | Simon Peyton Jones | 2012-03-30 | 3 | -6/+13 | |
| | | | | ||||||
| | * | | Mostly commentary to follow up after discussions with SPJ on several open ↵ | Dimitrios Vytiniotis | 2012-03-30 | 4 | -8/+60 | |
| | | | | | | | | | | | | | tickets. | |||||
| | * | | A little tracing. | Dimitrios Vytiniotis | 2012-03-30 | 1 | -1/+3 | |
| | | | | ||||||
| | * | | Deleting A LOT of commented out code! | Dimitrios Vytiniotis | 2012-03-29 | 3 | -608/+3 | |
| | | | | ||||||
| | * | | Changing the orientation of a generated equality | Dimitrios Vytiniotis | 2012-03-29 | 1 | -14/+29 | |
| | | | | ||||||
| | * | | More informative commentary as to why we allow family interactions with ↵ | Dimitrios Vytiniotis | 2012-03-29 | 1 | -4/+32 | |
| | | | | | | | | | | | | | inerts when simplEqsOnly is on. | |||||
| | * | | Started investigating how performance is affected and how intensively our ↵ | Dimitrios Vytiniotis | 2012-03-29 | 6 | -23/+31 | |
| | | | | | | | | | | | | | caches are used. | |||||
| | * | | Add handling of LitTy. Still a TODO to deal properly with the forall case in ↵ | Dimitrios Vytiniotis | 2012-03-29 | 1 | -7/+2 | |
| | | | | | | | | | | | | | there. | |||||
| | * | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor | Dimitrios Vytiniotis | 2012-03-29 | 9 | -35/+84 | |
| | |\ \ | | |/ | ||||||
| | * | | defaultKind the kind of one of the types when you create a ↵ | Dimitrios Vytiniotis | 2012-03-29 | 2 | -6/+13 | |
| | | | | | | | | | | | | | | | | | | | | | | higher-dimensional equality proof, pretty much as we do for mkTcEqPred. Ugly and delicate but we have to rething the subkinding story. For now I am doing the same thing as mkTcEqPred. | |||||
| | * | | Small bugfix (for indexed_types/should_compile/T2291.hs). Because our | Dimitrios Vytiniotis | 2012-03-29 | 1 | -13/+17 | |
| | | | | | | | | | | | | | | | | | | | inert sets do not tolerate more than a single constraint per family head we have to allow family interactions /with the inerts/ (not with top-level) when the context says simplEqsOnly. | |||||
| | * | | Bugfixes: (i) wrong evidence generetation when using cached solved family ↵ | Dimitrios Vytiniotis | 2012-03-29 | 3 | -16/+71 | |
| | | | | | | | | | | | | | | | | | | | equation (ii) evidence loops because of caching fixed | |||||
| | * | | Slightly more informal message when EvCast fails. | Dimitrios Vytiniotis | 2012-03-29 | 1 | -5/+7 | |
| | | | | ||||||
| | * | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor | Dimitrios Vytiniotis | 2012-03-28 | 85 | -2580/+3220 | |
| | |\ \ | ||||||
| | * | | | Midstream check-in on | Dimitrios.Vytiniotis | 2012-03-28 | 10 | -819/+1769 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (i) Replaced a lot of clunky and fragile EvVar handling code with a more uniform ``flavor transformer'' API in the canonicalizer and the interaction solver. Now EvVars are just fields inside the CtFlavors. (ii) Significantly simplified our caching story This patch does not validate yet and more refactoring is on the way. | |||||
| * | | | | Improve kind-checking of type splices slightly | Simon Peyton Jones | 2012-04-05 | 1 | -5/+6 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It is still Not Right, but can't readily be fixed until the major overhaul of TH described in Simon PJ's 2011 GHC blog post. (Then type splices will be done in the renamer.) | |||||
| * | | | | Improve error reporting for out-of-scope variables | Simon Peyton Jones | 2012-04-05 | 2 | -9/+31 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Sometimes when a variable is out of scope in the type-checker, it's not a GHC bug, but rather a TH staging error. See Note [Out of scope might be a staging error] in TcEnv. This showed up as Trac #5795. | |||||
| * | | | | White space only | Simon Peyton Jones | 2012-04-05 | 1 | -6/+6 | |
| | |_|/ |/| | | ||||||
| * | | | Merge branch 'master' of http://darcs.haskell.org/ghc | Simon Peyton Jones | 2012-03-28 | 1 | -6/+6 | |
| |\ \ \ | | |/ | |/| | ||||||
| | * | | Don't document '-fregs-liveness' or '-fllvm-tbaa', both hidden flags | David Terei | 2012-03-28 | 1 | -6/+6 | |
| | | | | | | | | | | | | | | | | No reason user should turn them off, just want for ghc developer debugging uses. | |||||
| * | | | Make the LocalRdrEnv keep track of all the Names that are in scope | Simon Peyton Jones | 2012-03-28 | 5 | -19/+52 | |
| | | | | | | | | | | | | | | | | | | | | | | This allows us to give a sensible error message when a Template Haskell splice generates an occurrence without a binding site. Fixes Trac #5959 and #5971 | |||||
| * | | | Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDecl | Simon Peyton Jones | 2012-03-28 | 4 | -16/+32 | |
| |/ / | | | | | | | | | | | | | | | | | The absence of this was causing a loop when typechecking an interface where the superclass context mentioned an associated type class C (T a) => D a where data T a Fixes Trac #5970 | |||||
| * | | Remove Show instance for Forest | Simon Peyton Jones | 2012-03-28 | 1 | -6/+0 | |
| | | | | | | | | | | | | | | | | | | | A Forest is just a list, and we have a Show instance for lists already. We don't need a special Show instance for Forests. If we change our minds we can add a newtype, but I don't think it's worth it. Fixes Trac #5960 | |||||
| * | | Merge with HEAD | Simon Peyton Jones | 2012-03-27 | 1 | -14/+2 | |
| |\ \ | ||||||
| | * | | Remove dead code | Jose Pedro Magalhaes | 2012-03-27 | 1 | -12/+1 | |
| | | | | | | | | | | | | | | | | RdrHsSyn.extractGenericPatTyVars was a leftover from the old generic classes. | |||||
| * | | | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-03-26 | 54 | -132/+587 | |
| |\ \ \ | |/ / | | | | | | | | | | | | | Conflicts: compiler/hsSyn/Convert.lhs compiler/hsSyn/HsDecls.lhs | |||||
| | * | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-24 | 16 | -1600/+1609 | |
| | |\ \ | ||||||
| | * | | | Add -XExplicitNamespaces to enable using 'type' in import/exports. | Iavor S. Diatchki | 2012-03-24 | 4 | -5/+27 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This extension is implied by: * TypeOperators: so that we can import/export things like (+) * TypeFamilies: because associated type synonyms use "type T" to name the associated type in a subordinate list. | |||||
| | * | | | Fix printing of type operators in declarations. | Iavor S. Diatchki | 2012-03-24 | 1 | -2/+2 | |
| | | | | | ||||||
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |