summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
...
* Replace forall'ed Coercible by ~R# in RULESJoachim Breitner2014-02-111-2/+44
* Refactor previous commit on fixing #7021.Richard Eisenberg2014-02-091-15/+17
* Apply changes relative to TH.Pred becoming a TH.Type's synonym (issue #7021)YoEight2014-02-091-29/+24
* Fix #8759 by not panicking with TH and patsyns.Richard Eisenberg2014-02-091-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-2010-147/+303
* Re-work the naming story for the GHCi prompt (Trac #8649)Simon Peyton Jones2014-01-091-2/+1
* Refactor the way shadowing in handled in GHCiSimon Peyton Jones2014-01-031-1/+0
* Handle parens in predicates when converting to THSimon Peyton Jones2014-01-021-0/+2
* Remove dead code orphaned by implementing GND with `coerce`.Richard Eisenberg2013-12-021-3/+0
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-291-1/+1
* More faff to get GHCi's top-level environment rightSimon Peyton Jones2013-11-281-17/+17
* EvCast needs to take a representational coercionJoachim Breitner2013-11-281-1/+1
* Get rid of EvCoercibleJoachim Breitner2013-11-271-44/+1
* Roleify TcCoercionJoachim Breitner2013-11-274-53/+52
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-253-17/+18
* Replace (State# RealWorld) with Void# where we just want a 0-bit valueSimon Peyton Jones2013-11-221-4/+5
* Extend Coercible to newtype instancesJoachim Breitner2013-11-221-6/+6
* Add suggestion of -XNegativeLiteralsSimon Peyton Jones2013-11-221-17/+36
* Don't complain about rules overlapping functions with no unfoldingSimon Peyton Jones2013-11-221-0/+2
* Make Coercible higher-kindedJoachim Breitner2013-11-201-1/+1
* TypoKrzysztof Gogolewski2013-11-182-2/+2
* Placate clang (#8444, #8445)Austin Seipp2013-10-251-1/+1
* Refactor the topNormaliseNewType story, fixing Trac #8467Simon Peyton Jones2013-10-241-3/+3
* Remove debugging printouts -- sorry!Richard Eisenberg2013-10-231-7/+2
* Change GeneralizedNewtypeDeriving safety check.Richard Eisenberg2013-10-231-3/+10
* Fix Trac #8455.Richard Eisenberg2013-10-231-2/+2
* Normalise the type when generating do-bind warnings (Trac #8470)Simon Peyton Jones2013-10-233-53/+68
* TyposKrzysztof Gogolewski2013-10-122-2/+2
* Change the types of typed brackets and splices.Geoffrey Mainland2013-10-041-3/+11
* Add support for pattern splices.Geoffrey Mainland2013-10-044-0/+6
* Track TH stage in the renamer.Geoffrey Mainland2013-10-042-1/+2
* Differentiate typed and untyped splices and brackets in the abstract syntax.Geoffrey Mainland2013-10-041-1/+2
* Add names for TExp type constructor and unType.Geoffrey Mainland2013-10-041-6/+22
* Look through tick-boxes when looking for integral literals in the desugarerSimon Peyton Jones2013-10-031-1/+6
* Comments onlyunknown2013-10-011-4/+4
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-015-5/+5
* Fix linker_unload now that we are running constructors in the linker (#8291)Simon Marlow2013-09-231-1/+1
* Restructure compilation pipeline to allow hooksAustin Seipp2013-09-222-3/+47
* Tidy up and refactor overflow checking for literalsSimon Peyton Jones2013-09-182-149/+153
* Change role annotation syntax.Richard Eisenberg2013-09-171-67/+73
* Give language pragma suggestions without -XJoachim Breitner2013-09-141-1/+1
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-131-2/+45
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+5
* Fix AMP warnings.Austin Seipp2013-09-111-0/+7
* resurrected -fdicts-strict, off by defaultNicolas Frisby2013-09-081-41/+0
* Improve Linting in GHCi (fixes Trac #8215)Simon Peyton Jones2013-09-031-14/+15
* Fix Trac #8186.Richard Eisenberg2013-08-271-0/+16
* Comments onlyGabor Greif2013-08-201-1/+1
* Refactor checking for GADT-like datacons' return typesRichard Eisenberg2013-08-041-2/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-023-62/+105
View Lorry Controller Status