summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Tighten up on type validity checkingSimon Peyton Jones2012-04-042-39/+65
* Don't do validity checking on types in Template Haskell type bracketsSimon Peyton Jones2012-03-301-1/+3
* A related group of changes that make lexically scoped typeSimon Peyton Jones2012-03-302-43/+69
* Don't crash if there's a malformed instance!Simon Peyton Jones2012-03-301-3/+7
* White space onlySimon Peyton Jones2012-03-301-1/+1
* Comments onlySimon Peyton Jones2012-03-303-6/+13
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-03-281-6/+6
|\
| * Don't document '-fregs-liveness' or '-fllvm-tbaa', both hidden flagsDavid Terei2012-03-281-6/+6
* | Make the LocalRdrEnv keep track of all the Names that are in scopeSimon Peyton Jones2012-03-285-19/+52
* | Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDeclSimon Peyton Jones2012-03-284-16/+32
|/
* Remove Show instance for ForestSimon Peyton Jones2012-03-281-6/+0
* Merge with HEADSimon Peyton Jones2012-03-271-14/+2
|\
| * Remove dead codeJose Pedro Magalhaes2012-03-271-12/+1
* | Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-2654-132/+587
|\ \ | |/
| * Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-2416-1600/+1609
| |\
| * | Add -XExplicitNamespaces to enable using 'type' in import/exports.Iavor S. Diatchki2012-03-244-5/+27
| * | 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-246-7/+30
| * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-204-64/+58
| |\ \
| * \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-1919-124/+178
| |\ \ \
| * | | | Add type-literals in the ordering hierarchy.Iavor S. Diatchki2012-03-191-1/+8
| * | | | Only parse type literals when using `DataKinds`.Iavor S. Diatchki2012-03-183-2/+22
| * | | | Add an `Outputable` instance for `HsTyLit`Iavor S. Diatchki2012-03-181-0/+3
| * | | | Fix the printing of * (the kind).Iavor S. Diatchki2012-03-181-1/+5
| * | | | Add TH support for type-level literals.Iavor S. Diatchki2012-03-152-1/+6
| * | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-13144-6238/+6635
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-1245-1374/+1461
| |\ \ \ \ \
| * | | | | | Add support for type-level "strings".Iavor S. Diatchki2012-01-2423-104/+176
| * | | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-2479-4527/+1488
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-2378-1442/+1920
| |\ \ \ \ \ \ \
| * | | | | | | | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-1326-75/+72
| * | | | | | | | Change -XTypeOperators to treat all type-operators as type-constructors.Iavor S. Diatchki2012-01-083-17/+44
| * | | | | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-0781-2439/+2503
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Go back to using an Integer as evidence, rather then just a Word.Iavor S. Diatchki2012-01-072-11/+2
| * | | | | | | | | Monadify dsEvTerm in preparation for generating Integer & String evidence.Iavor S. Diatchki2012-01-075-46/+58
| * | | | | | | | | Add the built-in instances for class NatI.Iavor S. Diatchki2011-12-294-0/+56
| * | | | | | | | | Add the wired-in names for manipulating type-level nats.Iavor S. Diatchki2011-12-292-3/+35
| * | | | | | | | | Merge branch 'master' into type-natsIavor S. Diatchki2011-12-2961-1072/+1249
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | Remove tabs, again.Iavor S. Diatchki2011-12-181-1/+1
| * | | | | | | | | | Fix the implementation of the type literal trie.Iavor S. Diatchki2011-12-181-4/+2
| * | | | | | | | | | Remove tabs, so that I can push.Iavor S. Diatchki2011-12-183-40/+19
| * | | | | | | | | | Merge branch 'master' into type-natsIavor S. Diatchki2011-12-183-15/+35
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | Add some missing cases for type literals.Iavor S. Diatchki2011-12-182-1/+8
| * | | | | | | | | | | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-1827-11/+200
| * | | | | | | | | | | Add numeric types to the parsing part of the front end.Iavor S. Diatchki2011-12-186-0/+21
* | | | | | | | | | | | Make the 'extract' functions to find free type variablesSimon Peyton Jones2012-03-264-29/+34
* | | | | | | | | | | | Complete refactoring of HsDecls/HsTyDefnSimon Peyton Jones2012-03-262-8/+7
* | | | | | | | | | | | Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-2410-970/+1090
|\ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | |
| * | | | | | | | | | | Rename optimisation flag for uniformity with existing flags.David Terei2012-03-231-1/+1
| * | | | | | | | | | | Clean of PackageConfigDavid Terei2012-03-231-27/+23
View Lorry Controller Status