summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-115-92/+97
* Wibble to pretty printingSimon Peyton Jones2012-05-011-3/+1
* Tidy up a remaining glitch in unificationSimon Peyton Jones2012-05-013-19/+30
* Move free-var info from InstDecl to FamInstDeclSimon Peyton Jones2012-04-202-21/+23
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-204-22/+25
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-04-131-91/+91
|\
| * Untabify HsTypesSimon Peyton Jones2012-04-131-91/+91
| * Revert "Added ':runmonad' command to GHCi"Simon Peyton Jones2012-04-131-91/+100
| * Added ':runmonad' command to GHCiDavid Terei2012-04-121-100/+91
* | Allow kind-variable binders in type signaturesSimon Peyton Jones2012-04-132-35/+10
|/
* Fixed typo in b857c8ad which caused NewtypeD to be interpreted as DataD.Mikhail Vorozhtsov2012-04-021-1/+1
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-265-9/+36
|\
| * Fix printing of type operators in declarations.Iavor S. Diatchki2012-03-241-2/+2
| * Fix pretty-printing of type operators in imports/exports.Iavor S. Diatchki2012-03-242-6/+16
| * Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-194-31/+29
| |\
| * | Add an `Outputable` instance for `HsTyLit`Iavor S. Diatchki2012-03-181-0/+3
| * | Add TH support for type-level literals.Iavor S. Diatchki2012-03-151-0/+1
| * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-137-92/+118
| |\ \
| * \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-124-54/+72
| |\ \ \
| * | | | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-2/+14
| * | | | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-10/+10
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-071-1/+1
| |\ \ \ \ \
| * \ \ \ \ \ Merge branch 'master' into type-natsIavor S. Diatchki2011-12-295-16/+30
| |\ \ \ \ \ \
| * | | | | | | Add numeric types to the parsing part of the front end.Iavor S. Diatchki2011-12-181-0/+3
* | | | | | | | Make the 'extract' functions to find free type variablesSimon Peyton Jones2012-03-261-2/+2
* | | | | | | | Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-241-2/+3
|\ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ | |/| | | | | |
| * | | | | | | Add fixity declarations to Template Haskell (Trac #1541)Simon Peyton Jones2012-03-141-9/+21
| * | | | | | | Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-143-22/+8
| | |_|_|_|_|/ | |/| | | | |
* | | | | | | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is theSimon Peyton Jones2012-03-223-271/+275
* | | | | | | Add fixity declarations to Template Haskell (Trac #1541)Simon Peyton Jones2012-03-141-9/+21
* | | | | | | Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-143-22/+8
|/ / / / / /
* | | | | | Attach INLINE pagmas in mutually recursive bindingsSimon Peyton Jones2012-03-041-4/+4
* | | | | | Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-025-60/+90
* | | | | | Implement "value" imports with the CAPIIan Lynagh2012-02-261-2/+5
* | | | | | Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-222-3/+2
* | | | | | Small refactoring: Use (Maybe Header) rather than FastStringIan Lynagh2012-02-171-3/+5
* | | | | | Merge branch 'master' of http://darcs.haskell.org/ghcIan Lynagh2012-02-163-19/+5
|\ \ \ \ \ \
| * | | | | | Mainly tidying up pretty printing of typesSimon Peyton Jones2012-02-163-19/+5
| | |_|_|_|/ | |/| | | |
* | | | | | Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-162-6/+12
|/ / / / /
* | | | | Refactor HsDecls again, to put family instances in InstDeclSimon Peyton Jones2012-02-063-41/+66
* | | | | de-tabbed the hs-boot filesIan Lynagh2012-01-261-13/+6
| |_|_|/ |/| | |
* | | | Implememt -fdefer-type-errors (Trac #5624)Simon Peyton Jones2012-01-121-10/+10
| |_|/ |/| |
* | | Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-1/+1
| |/ |/|
* | Use HsTupleTy [] for unit tuples, uniformlySimon Peyton Jones2011-12-231-0/+13
* | fix #5022: polymorphic definitions inside arrow recRoss Paterson2011-12-192-5/+6
* | Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-193-11/+11
|/
* Allow full constraint solving under a for-all (Trac #5595)Simon Peyton Jones2011-12-054-258/+37
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-251-17/+9
* Removing the default grouping clause from the SQL-like comprehension notation ;George Giorgidze2011-11-172-25/+11
* Changes to the kind checkerJose Pedro Magalhaes2011-11-162-3/+27
View Lorry Controller Status