summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMeta.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor checking for GADT-like datacons' return typesRichard Eisenberg2013-08-041-2/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-35/+71
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-41/+76
* UntabifyGeoffrey Mainland2013-06-031-277/+270
* Add OverloadedLists, allowing list syntax to be overloadedSimon Peyton Jones2013-02-141-3/+4
* Fix Trac #7681.Richard Eisenberg2013-02-111-2/+4
* typosGabor Greif2013-01-301-3/+3
* Be willing to parse {-# UNPACK #-} without '!'Simon Peyton Jones2013-01-141-2/+2
* Refactor HsExpr.MatchGroupSimon Peyton Jones2013-01-041-5/+5
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-55/+110
* Major refactoring of the way that UNPACK pragmas are handledSimon Peyton Jones2012-12-141-3/+3
* Fix conversion of HsRule to TH syntaxSimon Peyton Jones2012-10-191-65/+67
* This big patch re-factors the way in which arrow-syntax is handledSimon Peyton Jones2012-10-031-22/+22
* Move tARGET_* out of HaskellConstantsIan Lynagh2012-09-171-6/+13
* TH: Pragmas refactoring.Mikhail Vorozhtsov2012-08-151-99/+154
* Implemented MultiWayIf extension.Mikhail Vorozhtsov2012-07-161-32/+41
* Implemented \case expressions.Mikhail Vorozhtsov2012-07-161-23/+33
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-1/+1
* Wibbles from 'Fix scoping of kind variables in instance declarations'Simon Peyton Jones2012-05-241-12/+15
* Wibbles to lunaris's patch for promoted kindsSimon Peyton Jones2012-05-181-11/+7
* Allow INLINABLE pragmas in THSimon Peyton Jones2012-05-181-16/+39
* Applied lunaris's patch to allow promoted types and rich kinds in Template Ha...Richard Eisenberg2012-05-181-210/+342
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-111-21/+22
* Remove spurious debug printSimon Peyton Jones2012-04-261-1/+1
* Move free-var info from InstDecl to FamInstDeclSimon Peyton Jones2012-04-201-2/+3
* Allow kind-variable binders in type signaturesSimon Peyton Jones2012-04-131-2/+6
* A related group of changes that make lexically scoped typeSimon Peyton Jones2012-03-301-28/+56
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-241-33/+17
|\
* | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is theSimon Peyton Jones2012-03-221-73/+73
|/
* Fix scoping of type variables in DsMetaSimon Peyton Jones2012-03-201-62/+48
* Complete the fix for Trac #5882Simon Peyton Jones2012-03-161-11/+13
* Add missing items to templateHaskellNamesSimon Peyton Jones2012-03-161-1/+1
* Add fixity declarations to Template Haskell (Trac #1541)Simon Peyton Jones2012-03-141-13/+62
* Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-4/+4
* Implement "value" imports with the CAPIIan Lynagh2012-02-261-2/+3
* Small refactoring: Use (Maybe Header) rather than FastStringIan Lynagh2012-02-171-4/+5
* Refactor HsDecls again, to put family instances in InstDeclSimon Peyton Jones2012-02-061-5/+11
* Make DsMeta work right on tuples (cf Trac #5597)Simon Peyton Jones2011-11-171-5/+3
* Changes to the kind checkerJose Pedro Magalhaes2011-11-161-5/+5
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-8/+8
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Handle newtypes and type functions correctly in FFI types; fixes #3008Ian Lynagh2011-10-011-1/+1
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-21/+20
|\
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-21/+20
* | Implement associated type defaultsMax Bolingbroke2011-09-091-1/+1
|/
* A batch of changes related to the handling of binders in instance declsSimon Peyton Jones2011-08-221-1/+1
* In instance declarations, the method names are *occurrences* not *binders*Simon Peyton Jones2011-08-151-28/+29
* Another run at binders in Template Haskell (fixes Trac #5379)Simon Peyton Jones2011-08-051-23/+5
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-07-181-7/+3
|\
| * Remove 'threadsafe' FFI importsIan Lynagh2011-07-131-7/+3
View Lorry Controller Status