summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.lhs
Commit message (Expand)AuthorAgeFilesLines
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-5/+5
* Updated documentation; changed "group" to "branched" in type familiesRichard Eisenberg2013-04-241-2/+2
* Squash some typosGabor Greif2013-02-151-1/+1
* Export tcIfaceExpr as requested by Trac #7683Simon Peyton Jones2013-02-131-1/+4
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-15/+15
|\
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-051-15/+15
* | More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-17/+12
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-13/+9
|\ \
| * | Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-13/+9
* | | Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-4/+6
|/ /
* | Refactor invariants for FamInsts.Richard Eisenberg2013-01-051-1/+2
* | Comments and white space onlySimon Peyton Jones2013-01-011-2/+2
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-23/+37
|\ \
| * | Implement overlapping type family instances.Richard Eisenberg2012-12-211-23/+37
* | | Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-2/+11
|/ /
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-10-191-2/+2
|\ \
| * | Some alpha renamingIan Lynagh2012-10-161-2/+2
* | | Only promote *non-existential* data constructorsSimon Peyton Jones2012-10-191-2/+2
|/ /
* | Be lazier when typechecking data type contexts (Trac #7321)Simon Peyton Jones2012-10-121-14/+11
* | Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-2/+3
* | Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-3/+3
* | Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-0/+1
|/
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-3/+5
* Simplify the implementation of Implicit ParametersSimon Peyton Jones2012-06-131-2/+0
* Pass DynFlags down to showSDocDebugIan Lynagh2012-06-121-3/+4
* Pass DynFlags down to showSDocIan Lynagh2012-06-121-1/+2
* Put the Integer type, rather than the mkIntegerId, inside LitIntegerIan Lynagh2012-06-061-5/+5
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-0/+6
* Make the interface-file deserialisation work right for promoted types (Trac #...Simon Peyton Jones2012-04-301-7/+66
* Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDeclSimon Peyton Jones2012-03-281-11/+25
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-34/+14
|\
| * Deal with promoted DataCons in interface files (fixes Trac #5881)Simon Peyton Jones2012-03-051-2/+7
| * Simplified serialization of IfaceTyCon, againMax Bolingbroke2012-02-221-33/+7
| * Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-2/+1
| * Merge branch 'master' of http://darcs.haskell.org/ghcIan Lynagh2012-02-161-2/+2
| |\
| | * Refactoring around super-kindsSimon Peyton Jones2012-02-161-2/+2
| * | Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-2/+4
| |/
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-1/+2
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-241-7/+35
|\ \ | |/
| * Fix vectorisation of classesManuel M T Chakravarty2012-01-161-7/+35
* | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-1/+1
|\ \ | |/
| * Implememt -fdefer-type-errors (Trac #5624)Simon Peyton Jones2012-01-121-1/+1
* | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-131-2/+2
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-071-31/+43
|\ \ | |/
| * Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-31/+43
* | Merge branch 'master' into type-natsIavor S. Diatchki2011-12-291-1/+1
|\ \ | |/
| * Implemnt Trac #5712: show method for infix GADT constructorsSimon Peyton Jones2011-12-231-1/+1
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+6
|/
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-251-59/+42
* Maintain the mapping of class selectors in 'VectInfo'Manuel M T Chakravarty2011-11-141-5/+5
View Lorry Controller Status