summaryrefslogtreecommitdiff
path: root/compiler/hsSyn/HsDecls.lhs
Commit message (Expand)AuthorAgeFilesLines
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-241-58/+58
* Add -fwarn-context-quantification (#4426)Krzysztof Gogolewski2014-09-181-2/+6
* Export `Traversable()` and `Foldable()` from PreludeHerbert Valerio Riedel2014-09-151-2/+5
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-061-45/+71
* Remove NonParametricKinds (#9200)Richard Eisenberg2014-08-121-0/+48
* Implement OVERLAPPING and OVERLAPPABLE pragmas (see #9242)Iavor S. Diatchki2014-07-271-8/+10
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-36/+65
* Overlapable pragmas for individual instances (#9242)Iavor S. Diatchki2014-06-291-4/+20
* Use UnicodeSyntax when printingJoachim Breitner2014-06-061-1/+1
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-251-2/+2
* Add full support for declaration splices.Geoffrey Mainland2013-10-041-6/+12
* Change role annotation syntax.Richard Eisenberg2013-09-171-9/+63
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-1/+5
* Fix Trac #7939, and add kind inference to closed type families.Richard Eisenberg2013-06-281-0/+12
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-39/+33
* Fix a TODO in the compilerIan Lynagh2013-02-261-12/+6
* Fix #7710: do not AutoDeriveTypeable for synonyms and type familiesJose Pedro Magalhaes2013-02-211-3/+14
* A bit more tidying upSimon Peyton Jones2013-02-091-0/+1
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-6/+4
|\
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-051-6/+4
* | some more typosGabor Greif2013-02-021-1/+1
* | Improve HsSyn pretty-printing of instance declarations (fixes Trac #7532)Simon Peyton Jones2013-01-021-15/+27
* | Comments and white space onlySimon Peyton Jones2013-01-011-17/+27
* | Implement overlapping type family instances.Richard Eisenberg2012-12-211-195/+271
* | Fix pretty-printing for GADTs in infix formSimon Peyton Jones2012-08-281-2/+3
|/
* Spelling in commentSimon Peyton Jones2012-07-121-1/+1
* Comments and pretty printingSimon Peyton Jones2012-07-101-1/+8
* Comments onlySimon Peyton Jones2012-06-071-2/+4
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-111-16/+16
* Move free-var info from InstDecl to FamInstDeclSimon Peyton Jones2012-04-201-4/+4
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-201-14/+16
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-261-2/+2
|\
| * Fix printing of type operators in declarations.Iavor S. Diatchki2012-03-241-2/+2
| * Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-141-3/+3
* | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is theSimon Peyton Jones2012-03-221-184/+179
* | Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-141-3/+3
|/
* Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-15/+17
* Implement "value" imports with the CAPIIan Lynagh2012-02-261-2/+5
* Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-1/+0
* Small refactoring: Use (Maybe Header) rather than FastStringIan Lynagh2012-02-171-3/+5
* Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-0/+2
* Refactor HsDecls again, to put family instances in InstDeclSimon Peyton Jones2012-02-061-22/+41
* Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-1/+1
* Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-191-2/+2
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-251-17/+9
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-14/+19
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-311-5/+39
* Tabs -> spacesManuel M T Chakravarty2011-10-311-232/+232
* Fully implement for VECTORISE type pragmas (non-SCALAR).Manuel M T Chakravarty2011-10-101-16/+22
* Handle newtypes and type functions correctly in FFI types; fixes #3008Ian Lynagh2011-10-011-4/+28
View Lorry Controller Status