summaryrefslogtreecommitdiff
path: root/compiler/rename/RnSource.lhs
Commit message (Expand)AuthorAgeFilesLines
* Remove unused argumentSimon Peyton Jones2013-01-251-11/+5
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-101/+169
* Whitespace only in rename/RnSource.lhsIan Lynagh2012-09-231-306/+297
* Tidy up the treatment of signatures (incl fixity)Simon Peyton Jones2012-05-241-8/+14
* Fix scoping of kind variables in instance declarationsSimon Peyton Jones2012-05-221-16/+30
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-111-46/+35
* Fix lookup of fixity signatures for type operators (#6027)Paolo Capriotti2012-04-261-2/+2
* Move free-var info from InstDecl to FamInstDeclSimon Peyton Jones2012-04-201-19/+25
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-201-16/+22
* Allow kind-variable binders in type signaturesSimon Peyton Jones2012-04-131-5/+7
* Don't crash if there's a malformed instance!Simon Peyton Jones2012-03-301-3/+7
* Make the 'extract' functions to find free type variablesSimon Peyton Jones2012-03-261-2/+7
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-241-2/+2
|\
* | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is theSimon Peyton Jones2012-03-221-102/+132
|/
* Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-202/+153
* Implement "value" imports with the CAPIIan Lynagh2012-02-261-2/+2
* Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-2/+2
* Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-4/+8
* Refactor HsDecls again, to put family instances in InstDeclSimon Peyton Jones2012-02-061-7/+16
* Remove getDOpts; use getDynFlags insteadIan Lynagh2012-01-191-1/+1
* Fix vectorisation of classesManuel M T Chakravarty2012-01-161-1/+1
* Implemnt Trac #5712: show method for infix GADT constructorsSimon Peyton Jones2011-12-231-16/+36
* Allow type signatures in instance decls (Trac #5676)Simon Peyton Jones2011-12-121-15/+23
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-251-3/+3
* Changes to the kind checkerJose Pedro Magalhaes2011-11-161-2/+1
* Add dependencies on all .hs-boot TyCons in rnTyClDeclsJose Pedro Magalhaes2011-11-161-28/+69
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-45/+64
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-311-0/+12
* Refactor the way in which type (and other) signatures are renamedSimon Peyton Jones2011-10-211-3/+2
* Fully implement for VECTORISE type pragmas (non-SCALAR).Manuel M T Chakravarty2011-10-101-9/+8
* Handle newtypes and type functions correctly in FFI types; fixes #3008Ian Lynagh2011-10-011-4/+4
* Tidy up the shape-checking for instance typesSimon Peyton Jones2011-09-291-2/+2
* Fix scoping for RHS of associated type decls (fixes Trac #5515)Simon Peyton Jones2011-09-291-16/+26
* move AvailInfo and related things into its own moduleSimon Marlow2011-09-211-5/+4
* Add support for all top-level declarations to GHCiSimon Marlow2011-09-211-1/+2
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-3/+3
|\
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-3/+3
* | Implement associated type defaultsMax Bolingbroke2011-09-091-5/+9
|/
* Two small further extensions to associated typesSimon Peyton Jones2011-09-011-7/+2
* Allow associated types to have fresh parametersSimon Peyton Jones2011-09-011-106/+93
* Functions and types can now be post-hoc vectorised; i.e., in modules where th...Manuel M T Chakravarty2011-08-241-3/+3
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-08-221-2/+9
|\
| * Until the type checker can use vectorised signatures, we restrict the RHS of ...Manuel M T Chakravarty2011-08-201-2/+9
* | A batch of changes related to the handling of binders in instance declsSimon Peyton Jones2011-08-221-114/+91
|/
* Add VECTORISE [SCALAR] type pragmaManuel M T Chakravarty2011-08-191-6/+19
* A little extra tracingSimon Peyton Jones2011-08-051-0/+1
* Fix a long-standing bug in HsUtils.hsTyClDeclBindersSimon Peyton Jones2011-08-051-1/+1
* Change the representation of export lists in .hi filesSimon Peyton Jones2011-08-021-1/+1
* Report on unused type variables (fixes #5331)Simon Peyton Jones2011-07-201-6/+10