summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceSyn.lhs
Commit message (Expand)AuthorAgeFilesLines
* Add IfacePromotionInfodata-kind-syntaxTrevor Elliott2013-09-081-12/+17
* Fix how we're using roles with `data kind` declarationsTrevor Elliott2013-09-081-4/+7
* Squashed commit of the following:Trevor Elliott2013-09-081-4/+82
* Remove the final vestiges of InlineWrappersSimon Peyton Jones2013-09-021-12/+3
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-291-25/+10
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-8/+13
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-45/+83
* Beautify a few Binary instancesIan Lynagh2013-07-271-9/+10
* De-orphan a load of Binary instancesIan Lynagh2013-07-271-0/+487
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-23/+51
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-5/+4
* Fixed moer tyopsGabor Greif2013-04-251-1/+1
* Updated documentation; changed "group" to "branched" in type familiesRichard Eisenberg2013-04-241-5/+5
* Typo in debug print messageSimon Peyton Jones2013-04-231-1/+1
* typosGabor Greif2013-01-301-1/+1
* More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-21/+10
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-11/+11
|\
| * Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-11/+11
* | Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-3/+9
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-19/+39
|\
| * Implement overlapping type family instances.Richard Eisenberg2012-12-211-19/+38
* | Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-4/+9
|/
* typoGabor Greif2012-11-301-1/+1
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-8/+7
* Fix #7215: we weren't calculating the hashes correctly for sub-bindersSimon Marlow2012-09-051-0/+22
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-4/+6
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-1/+13
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-4/+10
|\
| * Simplified serialization of IfaceTyCon, againMax Bolingbroke2012-02-221-1/+0
| * Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-3/+2
| * Show the CType in --show-iface outputIan Lynagh2012-02-211-4/+10
| * Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-0/+2
* | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-131-1/+1
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-071-77/+70
|\ \ | |/
| * Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-77/+70
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+1
|/
* Spelling correction in commentSimon Peyton Jones2011-12-131-1/+1
* Comments about orphansSimon Peyton Jones2011-12-121-5/+33
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-3/+9
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-16/+17
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-8/+1
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-23/+18
|\
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-23/+18
* | Implement associated type defaultsMax Bolingbroke2011-09-091-6/+30
|/
* Export a tiny bit more info with AbstractTyCon (fixes #5424)Simon Peyton Jones2011-09-021-12/+12
* Include the instances of associated types in the "extras" of a classSimon Peyton Jones2011-08-031-1/+9
* Change loop breaker terminologySimon Peyton Jones2011-07-211-1/+1
* remove out of date comment about instance versioning, replace it withSimon Marlow2011-07-011-37/+1
* Get rid of the DFunArg type and all its worksSimon Peyton Jones2011-06-231-4/+2
View Lorry Controller Status