summaryrefslogtreecommitdiff
path: root/compiler/vectorise/Vectorise/Generic/PData.hs
Commit message (Expand)AuthorAgeFilesLines
* vectorise: Put it out of its miseryBen Gamari2018-06-021-178/+0
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-0/+4
* Cache the number of data cons in DataTyCon and SumTyConBartosz Nitka2018-01-041-2/+2
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-2/+6
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-2/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-1/+1
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-3/+0
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-4/+3
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-4/+4
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-1/+1
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-4/+4
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-1/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-6/+8
* 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
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-2/+8
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-271-7/+6
* Use a Representaional coercion for data familiesSimon Peyton Jones2015-06-261-1/+1
* Fix the treatment of lexically scoped kind variables (Trac #8856)Simon Peyton Jones2014-03-071-1/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-0/+1
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-5/+4
* Pure refactoringSimon Peyton Jones2013-01-281-0/+1
* More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-4/+6
* Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-0/+1
* Refactor invariants for FamInsts.Richard Eisenberg2013-01-051-3/+5
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-3/+3
|\
| * Implement overlapping type family instances.Richard Eisenberg2012-12-211-3/+3
* | Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-4/+5
|/
* Add newline to the end of fileJose Pedro Magalhaes2012-04-191-1/+2
* Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-0/+1
* Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-29/+30
* vectoriser: Use Sels2 type for vector of selectors in PDatas Sum2 instanceBen Lippmeier2011-11-171-7/+7
* vectoriser: make PA PDatas instances for prod types workBen Lippmeier2011-11-151-5/+2
* vectoriser: shift PData module to generics dirBen Lippmeier2011-11-141-0/+154
View Lorry Controller Status