summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Clean up some outdated comments (#8418)Austin Seipp2013-10-091-2/+5
* Catch some popular typos in commentsGabor Greif2013-10-082-3/+3
* Add support for Template Haskell state.wip/th-newGeoffrey Mainland2013-10-043-0/+28
* Add support for Template Haskell module finalizers.Geoffrey Mainland2013-10-045-6/+33
* Change the types of typed brackets and splices.Geoffrey Mainland2013-10-041-6/+8
* Allow splices to add additional top-level declarations.Geoffrey Mainland2013-10-044-0/+80
* Code formatting cleanup.Geoffrey Mainland2013-10-041-32/+34
* Add full support for declaration splices.Geoffrey Mainland2013-10-044-7/+19
* Add support for pattern splices.Geoffrey Mainland2013-10-043-1/+59
* Clean up error context when checking brackets/splices.Geoffrey Mainland2013-10-041-3/+13
* Add support for typed brackets and splices.Geoffrey Mainland2013-10-041-91/+82
* Track TH stage in the renamer.Geoffrey Mainland2013-10-045-156/+165
* Check the staging restriction in the renamer.Geoffrey Mainland2013-10-041-7/+1
* Track the typed/untyped distinction in the current TH stage.Geoffrey Mainland2013-10-044-36/+73
* Differentiate typed and untyped splices and brackets in the abstract syntax.Geoffrey Mainland2013-10-041-2/+8
* Simplify the plumbing for checkValidTyClSimon Peyton Jones2013-10-041-34/+28
* Comments and white space onlySimon Peyton Jones2013-10-041-5/+9
* Simplify printing of boot-file mis-matches, by using PprTyThing.pprTyThingSimon Peyton Jones2013-10-041-15/+4
* Fix Trac #8368.Richard Eisenberg2013-10-032-11/+43
* Improve -XAllowAmbiguousTypes (Trac #8392)Simon Peyton Jones2013-10-033-55/+66
* Improve error reporting of fundep coverage condition failureunknown2013-10-012-15/+10
* Look inside tuple predicates when checking instance declaration contextsunknown2013-10-011-8/+18
* Move defaultClassMinimalDef from BuildTyCl to TcClassDclunknown2013-10-011-5/+13
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-0120-20/+20
* Compare against pRELUDE_NAME instead of "Prelude"Patrick Palka2013-09-301-1/+1
* Fix AMP warnings for explicit Prelude imports (#8004)Austin Seipp2013-09-291-6/+66
* Make lazy unlifted bindings an error by default.Austin Seipp2013-09-291-5/+5
* Add a type-function for subtraction.Iavor S. Diatchki2013-09-241-7/+57
* Restructure compilation pipeline to allow hooksAustin Seipp2013-09-222-7/+30
* TyposKrzysztof Gogolewski2013-09-202-2/+2
* Improve error message for deriving polykinded Typeable (Trac #7800)Simon Peyton Jones2013-09-201-8/+21
* Nuke tc-trace that makes the typechecker loopSimon Peyton Jones2013-09-201-1/+0
* Kill Type.isKindTy in favour of Kind.isKind (same code)Simon Peyton Jones2013-09-201-1/+2
* Refactor AMP warnings a bitSimon Peyton Jones2013-09-203-38/+42
* Fix egregious blunder in extractRelevantInertsSimon Peyton Jones2013-09-181-5/+3
* Restore old names of comparison primopsJan Stolarek2013-09-181-44/+47
* Accommodate Derived constraints in two places (fix Trac #8129, #8134)Simon Peyton Jones2013-09-182-8/+16
* A little refactoringSimon Peyton Jones2013-09-182-24/+25
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-183-4/+53
* Change role annotation syntax.Richard Eisenberg2013-09-176-205/+213
* Comment typo onlyGabor Greif2013-09-161-1/+1
* Give language pragma suggestions without -XJoachim Breitner2013-09-149-34/+34
* Fix rebase falloutJoachim Breitner2013-09-141-1/+1
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-135-6/+271
* Expose tcTyConsOfType as Types.tyConsOfTypeJoachim Breitner2013-09-131-33/+2
* Expose more in the TcS monadJoachim Breitner2013-09-131-2/+20
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-1211-4/+603
* Implement the AMP warning (#8004)Austin Seipp2013-09-112-3/+152
* Fix AMP warnings.Austin Seipp2013-09-112-0/+18
* factor 'tcRnModuleTcRnM' out of 'tcRnModule' and export itNicolas Frisby2013-09-101-12/+22
View Lorry Controller Status