summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* Small refactoringsghc-axiomsSimon Peyton Jones2012-01-032-5/+7
* Merge commit with HEADSimon Peyton Jones2012-01-032-1/+9
|\
| * Add an ASSERT on 'pick'Simon Peyton Jones2011-12-231-1/+3
| * Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-192-0/+6
* | Lots of refactoring of the CoAxiom stuffSimon Peyton Jones2011-12-291-19/+1
* | Represent type family instances by CoAxioms, not TyCons.Jose Pedro Magalhaes2011-12-222-1/+12
|/
* 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
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-099-86/+141
|\
| * Comments, and rename FactTuple to ConstraintTupleSimon Peyton Jones2011-09-093-12/+13
| * Nuke isCertainlyPredReprTySimon Peyton Jones2011-09-071-3/+3
| * Comments and layoutSimon Peyton Jones2011-09-072-14/+36
| * Implement -XConstraintKindMax Bolingbroke2011-09-068-75/+107
* | Implement associated type defaultsMax Bolingbroke2011-09-091-1/+1
|/
* Some minor wibbling in printing source locationsSimon Peyton Jones2011-09-022-20/+25
* More debug info on provenance with -dppr-debugSimon Peyton Jones2011-09-021-1/+5
* Use double method, not the hacked rational method.David Terei2011-08-241-3/+4
* Fix name generation for vectorised identifiersManuel M T Chakravarty2011-08-241-5/+6
* Fixed reading and generating VectInfo as well as naming of vectorised version...Manuel M T Chakravarty2011-08-243-26/+50