summaryrefslogtreecommitdiff
path: root/compiler/iface/BinIface.hs
Commit message (Expand)AuthorAgeFilesLines
...
* 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
|/
* More changes aimed at improving call stacks.Simon Marlow2011-12-021-9/+14
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-14/+85
* Fix #437: recompilation check includes flagsDavid Terei2011-11-091-0/+4
* Clean of BinIfaceDavid Terei2011-11-091-552/+519
* Tabs -> SpacesDavid Terei2011-11-091-607/+600
* added NOUNPACK pragma (see #2338)Stefan Wehr2011-11-091-1/+3
* addDependentFile #4900Greg Weber2011-11-051-9/+31
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-39/+25
* Remove some CPPIan Lynagh2011-10-251-12/+8
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-128/+163
* move AvailInfo and related things into its own moduleSimon Marlow2011-09-211-0/+1
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-57/+33
|\
| * Comments, and rename FactTuple to ConstraintTupleSimon Peyton Jones2011-09-091-4/+4
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-57/+33
* | Implement associated type defaultsMax Bolingbroke2011-09-091-0/+15
|/
* Export a tiny bit more info with AbstractTyCon (fixes #5424)Simon Peyton Jones2011-09-021-2/+2
* Change the representation of export lists in .hi filesSimon Peyton Jones2011-08-021-1/+1
* Fix #481: use a safe recompilation check when Template Haskell isSimon Marlow2011-07-201-5/+9
* SafeHaskell: Fix trust check for when safe module importsDavid Terei2011-06-291-2/+6
* Get rid of the DFunArg type and all its worksSimon Peyton Jones2011-06-231-9/+0
* Remove "silent superclass parameters"Simon Peyton Jones2011-06-221-5/+3
* SafeHaskell: Move safe haskell flag into Overlap flagDavid Terei2011-06-171-6/+7
* SafeHaskell: Add safe import flag (not functional)David Terei2011-06-171-2/+6
* SafeHaskell: Add Safe & Trustworthy pragmasDavid Terei2011-06-171-1/+8
* Propagate scalar variables and tycons for vectorisation through 'HscTypes.Vec...Manuel M T Chakravarty2011-06-031-2/+6
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-121-40/+59
|\
| * This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-40/+59
* | Remove the hasGenerics field of TyCon, improve the way the Generics flags is ...Jose Pedro Magalhaes2011-05-021-4/+2
|/
* Fix recursive superclasses (again). Fixes Trac #4809.simonpj@microsoft.com2010-12-131-2/+13