summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-161-5/+12
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-118-93/+196
* Warnings appear to already be fixed in hsSyn/HsPat.lhsIan Lynagh2011-11-061-6/+0
* Whitespace in hsSyn/HsPat.lhsIan Lynagh2011-11-061-162/+155
* Use -fwarn-tabs when validatingIan Lynagh2011-11-049-0/+63
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-023-14/+18
* Minor refactoring onlySimon Peyton Jones2011-11-011-3/+3
* Fix warnings and whitespace in HsBinds.Michal Terepeta2011-10-311-203/+198
* Fix duplicate type signature error (ticket #5589).Michal Terepeta2011-10-311-11/+18
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-311-5/+39
* Tabs -> spacesManuel M T Chakravarty2011-10-311-232/+232
* Refactor the way in which type (and other) signatures are renamedSimon Peyton Jones2011-10-211-19/+0
* 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-013-7/+31
* Fix parenthesisation in conversion from TH.Exp to HsExpr.HsExprSimon Peyton Jones2011-09-291-1/+5
* Fix scoping for RHS of associated type decls (fixes Trac #5515)Simon Peyton Jones2011-09-291-3/+8
* Parenthesise type operators in -ddump-minimal-imports output; trac #4239Ian Lynagh2011-09-171-1/+1
View Lorry Controller Status