summaryrefslogtreecommitdiff
path: root/compiler/vectorise/Vectorise/Type/Env.hs
Commit message (Expand)AuthorAgeFilesLines
* vectorise: Put it out of its miseryBen Gamari2018-06-021-457/+0
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Split mkInlineUnfolding into two functionsDavid Feuer2017-01-171-1/+1
* Typos in commentsGabor Greif2016-10-311-1/+1
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-2/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-22/+22
* Generate Typeable info at definition sitesBen Gamari2015-10-301-1/+3
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-3/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-291-1/+3
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-1/+1
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-2/+3
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-1/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-1/+1
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+1
* Warning policeManuel M T Chakravarty2013-02-061-2/+0
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-99/+127
|\
| * Vectoriser: don't include scalar types in base set of parallel tyconsManuel M T Chakravarty2012-12-091-12/+17
| * Vectoriser: distinguish vectorised from parallel types and functionsManuel M T Chakravarty2012-12-091-6/+8
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-051-95/+116
* | Implement overlapping type family instances.Richard Eisenberg2012-12-211-7/+8
* | Move tARGET_* out of HaskellConstantsIan Lynagh2012-09-171-2/+4
|/
* Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-1/+1
* Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-1/+1
* Fix vectorisation of classesManuel M T Chakravarty2012-01-161-8/+23
* Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-11/+15
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-251-38/+98
* Fix and clean up 'PData' and 'Wrap' usage of the vectoriserManuel M T Chakravarty2011-11-231-10/+6
* Don't warn about not vectorised type synonymsManuel M T Chakravarty2011-11-231-4/+5
* Fix the vectorisation of workers of data constructorsManuel M T Chakravarty2011-11-181-28/+53
* Special case dictionary abstraction and application during vectorisationManuel M T Chakravarty2011-11-171-1/+1
* vectoriser: mkCast args the other way around, and fix warningBen Lippmeier2011-11-171-1/+0
* Merge /Users/benl/devel/ghc/ghc-head-develBen Lippmeier2011-11-171-18/+20
|\
| * vectoriser: export PDatas data constructorsBen Lippmeier2011-11-151-1/+1
| * vectoriser: make PA PDatas instances for prod types workBen Lippmeier2011-11-151-1/+2
| * vectoriser: shift PData module to generics dirBen Lippmeier2011-11-141-1/+1
| * vectoriser: refactoring and cleanups for PReprBen Lippmeier2011-11-141-12/+13
| * vectoriser: shift modules about the generic representation into their own dirBen Lippmeier2011-11-141-3/+3
* | Improve vectorisation warnings and errorsManuel M T Chakravarty2011-11-141-3/+11
|/
* First cut at scalar vectorisation of class instancesManuel M T Chakravarty2011-11-091-4/+4
* Clean up and complete the vectorisation of type classesManuel M T Chakravarty2011-11-041-16/+45
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-311-5/+8
* Fully implement for VECTORISE type pragmas (non-SCALAR).Manuel M T Chakravarty2011-10-101-30/+58
* Add support for all top-level declarations to GHCiSimon Marlow2011-09-211-15/+9
* Fixed reading and generating VectInfo as well as naming of vectorised version...Manuel M T Chakravarty2011-08-241-2/+1
* Improve import and export of vectorisation informationManuel M T Chakravarty2011-08-191-2/+7