summaryrefslogtreecommitdiff
path: root/compiler/iface/BinIface.hs
Commit message (Expand)AuthorAgeFilesLines
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-10/+10
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-2/+2
* BinIface: Clean up whitespaceBen Gamari2015-08-261-3/+2
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-10/+6
* Revert multiple commitsAustin Seipp2015-05-141-6/+10
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-10/+6
* Refactor TyCon to eliminate TupleTyConSimon Peyton Jones2015-05-011-10/+13
* Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.Edward Z. Yang2014-07-211-2/+2
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-1/+2
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-291-2/+0
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-0/+1
* De-orphan a load of Binary instancesIan Lynagh2013-07-271-1079/+0
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-13/+14
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-11/+4
* Change a few throwGhcException uses to throwGhcExceptionIOIan Lynagh2013-01-301-1/+1
* More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-7/+0
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-95/+5
|\
| * Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-95/+5
* | Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-2/+4
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-8/+19
|\
| * Implement overlapping type family instances.Richard Eisenberg2012-12-211-8/+19
* | Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-11/+9
|/
* Major refactoring of the way that UNPACK pragmas are handledSimon Peyton Jones2012-12-141-9/+10
* Replace all uses of ghcError with throwGhcException and purge ghcError.Erik de Castro Lopo2012-11-301-1/+1
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-0/+12
* Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-1/+13
* Move wORD_SIZE into platformConstantsIan Lynagh2012-09-161-2/+2
* Add "Unregisterised" as a field in the settings fileIan Lynagh2012-08-071-3/+2
* Move -fno-warn-orphan flag into individual modulesIan Lynagh2012-07-151-0/+1
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-2/+11
* Move and rename opt_HiVersionIan Lynagh2012-06-181-2/+2
* Make -firrefutable-tuples a dynamic flagIan Lynagh2012-06-181-1/+0
* Simplify the implementation of Implicit ParametersSimon Peyton Jones2012-06-131-18/+4
* Pass DynFlags to the LogActionIan Lynagh2012-06-111-1/+1
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-0/+1
* Make traceBinIFaceReading use log_actionIan Lynagh2012-05-281-1/+1
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-0/+7
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-87/+12
|\
| * Simplified serialization of IfaceTyCon, againMax Bolingbroke2012-02-221-85/+8
| * Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-4/+2
| * Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-4/+8
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-2/+5
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-241-12/+1
|\ \ | |/
| * Remove getDOpts; use getDynFlags insteadIan Lynagh2012-01-191-1/+1
| * Switch to using the time package, rather than old-timeIan Lynagh2012-01-141-11/+0
* | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-131-2/+2
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-071-16/+29
|\ \ | |/
| * Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-16/+29
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+17
|/
View Lorry Controller Status