summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-202-2/+37
* Fix Trac #5952, by changing the Outputable TyCon instance,Simon Peyton Jones2012-04-051-1/+1
* White space onlySimon Peyton Jones2012-03-301-1/+1
* Make the LocalRdrEnv keep track of all the Names that are in scopeSimon Peyton Jones2012-03-282-12/+26
* Fix pretty-printing of type operators in imports/exports.Iavor S. Diatchki2012-03-243-0/+13
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-133-27/+62
|\
| * Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-1/+1
| * Implement a typing rule for saturated seq, and document itSimon Peyton Jones2012-02-171-9/+28
| * Define TypeVar (like KindVar), isTypeVar, isKindVar, and use themSimon Peyton Jones2012-02-171-14/+21
| * Refactoring around super-kindsSimon Peyton Jones2012-02-162-3/+12
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-121-2/+91
|\ \ | |/
| * Give promoted DataCons a tyConArity and promoted TyCons a tyConKindSimon Peyton Jones2012-02-061-2/+91
* | Change -XTypeOperators to treat all type-operators as type-constructors.Iavor S. Diatchki2012-01-081-1/+1
|/
* Be less verbose when printing out VarsSimon Peyton Jones2012-01-031-4/+6
* Major refactoring of CoAxiomsSimon Peyton Jones2012-01-032-21/+14
* Add an ASSERT on 'pick'Simon Peyton Jones2011-12-231-1/+3
* Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-192-0/+6
* Merge branch 'master' of ../HEADSimon Peyton Jones2011-12-051-5/+4
|\
| * Comments only: EqVar vs CovarSimon Peyton Jones2011-12-051-5/+4
* | More changes aimed at improving call stacks.Simon Marlow2011-12-021-4/+6
|/
* Implemented -dsuppress-var-kinds flag to remove silly kinds when dppr-debug i...Dimitrios Vytiniotis2011-11-281-1/+4
* Merge /Users/benl/devel/ghc/ghc-head-develBen Lippmeier2011-11-171-11/+17
|\
| * vectoriser: build instance tycons for the PDatas familyBen Lippmeier2011-11-141-11/+17
* | Tabs -> Spaces + formatting fixesDavid Terei2011-11-161-68/+63
* | GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-162-9/+10
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-114-10/+86
|\ \ | |/
| * New kind-polymorphic coreJose Pedro Magalhaes2011-11-114-10/+86
* | Establish the invariant that (LitAlt l) is always unliftedSimon Peyton Jones2011-11-091-1/+5
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-092-0/+3
|\
| * added NOUNPACK pragma (see #2338)Stefan Wehr2011-11-092-0/+3
* | Comments onlySimon Peyton Jones2011-11-091-1/+3
|/
* Fix validate by moving OPTIONS -fno-warn-tabs Validate fixed for Mac OS X 10....Thorkil Naur2011-11-072-14/+14
* Use -fwarn-tabs when validatingIan Lynagh2011-11-0419-0/+137
* Clean up and complete the vectorisation of type classesManuel M T Chakravarty2011-11-041-8/+8
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-023-57/+8
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-311-1/+1
* Unconditionally derive some instancesIan Lynagh2011-10-251-12/+1
* Comments and layout onlySimon Peyton Jones2011-10-241-4/+4
* Recover proper sharing for Integer literalsSimon Peyton Jones2011-10-211-13/+17
* Reenable a couple of assertionsIan Lynagh2011-09-271-6/+4
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-272-6/+5
* Take account of the mk_integer in a LitInteger when computing CAF-hoodSimon Peyton Jones2011-09-231-6/+24
* move AvailInfo and related things into its own moduleSimon Marlow2011-09-211-0/+107
* Add support for all top-level declarations to GHCiSimon Marlow2011-09-214-10/+19
* Improve the handling of Integer literalsIan Lynagh2011-09-172-59/+27
* Hack: add noCafIdInfo to shiftIntegerL and friendsSimon Peyton Jones2011-09-151-8/+11
* Fix integer stuff (fixes Trac #5485)Simon Peyton Jones2011-09-141-7/+1
* change how Integer's are handled in CoreIan Lynagh2011-09-132-6/+70
* Fix warnings in basicTypes/Literal.lhsIan Lynagh2011-09-111-2/+18
* Whitespace only in basicTypes/Literal.lhsIan Lynagh2011-09-111-158/+152
View Lorry Controller Status