| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove Show instance for Forest | Simon Peyton Jones | 2012-03-28 | 1 | -6/+0 |
| * | Merge with HEAD | Simon Peyton Jones | 2012-03-27 | 1 | -14/+2 |
| |\ | |||||
| | * | Remove dead code | Jose Pedro Magalhaes | 2012-03-27 | 1 | -12/+1 |
| * | | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-03-26 | 54 | -132/+587 |
| |\ \ | |/ | |||||
| | * | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-24 | 16 | -1600/+1609 |
| | |\ | |||||
| | * | | Add -XExplicitNamespaces to enable using 'type' in import/exports. | Iavor S. Diatchki | 2012-03-24 | 4 | -5/+27 |
| | * | | Fix printing of type operators in declarations. | Iavor S. Diatchki | 2012-03-24 | 1 | -2/+2 |
| | * | | Fix pretty-printing of type operators in imports/exports. | Iavor S. Diatchki | 2012-03-24 | 6 | -7/+30 |
| | * | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-20 | 4 | -64/+58 |
| | |\ \ | |||||
| | * \ \ | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-19 | 19 | -124/+178 |
| | |\ \ \ | |||||
| | * | | | | Add type-literals in the ordering hierarchy. | Iavor S. Diatchki | 2012-03-19 | 1 | -1/+8 |
| | * | | | | Only parse type literals when using `DataKinds`. | Iavor S. Diatchki | 2012-03-18 | 3 | -2/+22 |
| | * | | | | Add an `Outputable` instance for `HsTyLit` | Iavor S. Diatchki | 2012-03-18 | 1 | -0/+3 |
| | * | | | | Fix the printing of * (the kind). | Iavor S. Diatchki | 2012-03-18 | 1 | -1/+5 |
| | * | | | | Add TH support for type-level literals. | Iavor S. Diatchki | 2012-03-15 | 2 | -1/+6 |
| | * | | | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-13 | 144 | -6238/+6635 |
| | |\ \ \ \ | |||||
| | * \ \ \ \ | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-02-12 | 45 | -1374/+1461 |
| | |\ \ \ \ \ | |||||
| | * | | | | | | Add support for type-level "strings". | Iavor S. Diatchki | 2012-01-24 | 23 | -104/+176 |
| | * | | | | | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-01-24 | 79 | -4527/+1488 |
| | |\ \ \ \ \ \ | |||||
| | * \ \ \ \ \ \ | Merge in more HEAD, fix stuff up | Simon Peyton Jones | 2012-01-23 | 78 | -1442/+1920 |
| | |\ \ \ \ \ \ \ | |||||
| | * | | | | | | | | Mainly, rename LiteralTy to LitTy | Simon Peyton Jones | 2012-01-13 | 26 | -75/+72 |
| | * | | | | | | | | Change -XTypeOperators to treat all type-operators as type-constructors. | Iavor S. Diatchki | 2012-01-08 | 3 | -17/+44 |
| | * | | | | | | | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-01-07 | 81 | -2439/+2503 |
| | |\ \ \ \ \ \ \ \ | |||||
| | * | | | | | | | | | Go back to using an Integer as evidence, rather then just a Word. | Iavor S. Diatchki | 2012-01-07 | 2 | -11/+2 |
| | * | | | | | | | | | Monadify dsEvTerm in preparation for generating Integer & String evidence. | Iavor S. Diatchki | 2012-01-07 | 5 | -46/+58 |
| | * | | | | | | | | | Add the built-in instances for class NatI. | Iavor S. Diatchki | 2011-12-29 | 4 | -0/+56 |
| | * | | | | | | | | | Add the wired-in names for manipulating type-level nats. | Iavor S. Diatchki | 2011-12-29 | 2 | -3/+35 |
| | * | | | | | | | | | Merge branch 'master' into type-nats | Iavor S. Diatchki | 2011-12-29 | 61 | -1072/+1249 |
| | |\ \ \ \ \ \ \ \ \ | |||||
| | * | | | | | | | | | | Remove tabs, again. | Iavor S. Diatchki | 2011-12-18 | 1 | -1/+1 |
| | * | | | | | | | | | | Fix the implementation of the type literal trie. | Iavor S. Diatchki | 2011-12-18 | 1 | -4/+2 |
| | * | | | | | | | | | | Remove tabs, so that I can push. | Iavor S. Diatchki | 2011-12-18 | 3 | -40/+19 |
| | * | | | | | | | | | | Merge branch 'master' into type-nats | Iavor S. Diatchki | 2011-12-18 | 3 | -15/+35 |
| | |\ \ \ \ \ \ \ \ \ \ | |||||
| | * | | | | | | | | | | | Add some missing cases for type literals. | Iavor S. Diatchki | 2011-12-18 | 2 | -1/+8 |
| | * | | | | | | | | | | | Extend GHC's type with a representation for type level literals. | Iavor S. Diatchki | 2011-12-18 | 27 | -11/+200 |
| | * | | | | | | | | | | | Add numeric types to the parsing part of the front end. | Iavor S. Diatchki | 2011-12-18 | 6 | -0/+21 |
| * | | | | | | | | | | | | Make the 'extract' functions to find free type variables | Simon Peyton Jones | 2012-03-26 | 4 | -29/+34 |
| * | | | | | | | | | | | | Complete refactoring of HsDecls/HsTyDefn | Simon Peyton Jones | 2012-03-26 | 2 | -8/+7 |
| * | | | | | | | | | | | | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-03-24 | 10 | -970/+1090 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | |||||
| | * | | | | | | | | | | | Rename optimisation flag for uniformity with existing flags. | David Terei | 2012-03-23 | 1 | -1/+1 |
| | * | | | | | | | | | | | Clean of PackageConfig | David Terei | 2012-03-23 | 1 | -27/+23 |
| | * | | | | | | | | | | | Cleaning of HscStats | David Terei | 2012-03-23 | 1 | -77/+56 |
| | * | | | | | | | | | | | Tabs -> Spaces | David Terei | 2012-03-23 | 1 | -71/+64 |
| | * | | | | | | | | | | | Clean up GhcMake a little | David Terei | 2012-03-23 | 1 | -282/+266 |
| | * | | | | | | | | | | | Tabs -> Spaces | David Terei | 2012-03-23 | 1 | -463/+455 |
| | * | | | | | | | | | | | Clean and comment Annotations | David Terei | 2012-03-23 | 1 | -21/+27 |
| | * | | | | | | | | | | | Tabs -> Spaces | David Terei | 2012-03-23 | 1 | -9/+2 |
| | * | | | | | | | | | | | Add -favoid-vect | Manuel M T Chakravarty | 2012-03-23 | 1 | -0/+2 |
| | * | | | | | | | | | | | PPC: Handle right shift of > 31 bits. Fix #5900. | Erik de Castro Lopo | 2012-03-23 | 1 | -3/+11 |
| | * | | | | | | | | | | | PPC ppr: tabs -> spaces. | Erik de Castro Lopo | 2012-03-23 | 1 | -232/+225 |
| * | | | | | | | | | | | | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is the | Simon Peyton Jones | 2012-03-22 | 16 | -836/+807 |
| |/ / / / / / / / / / / | |||||
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |