summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Some popular typos in commentsGabor Greif2013-12-024-5/+5
* Note [HyperStr and Use demands]Joachim Breitner2013-12-021-0/+14
* Move FunDeps to typecheckJoachim Breitner2013-12-021-0/+0
* Fix location of spliced-in role annotations.Richard Eisenberg2013-12-021-1/+1
* Rejig rejigConRes & friends, doing role checks in a second pass.Richard Eisenberg2013-12-024-234/+240
* Remove dead code orphaned by implementing GND with `coerce`.Richard Eisenberg2013-12-025-64/+2
* More links to [Coercible Instances]Joachim Breitner2013-12-021-6/+13
* Handle Coercible (forall a. t) (forall a. t2) in TcInteractJoachim Breitner2013-12-022-17/+11
* Bind monadic stuff in getCoercibleInst locally, not via parametersJoachim Breitner2013-12-021-66/+71
* Refactor deferTcSForAllEq: Do not bind, but return EvTermJoachim Breitner2013-12-022-7/+8
* Print nicer error message for Coercible errorsJoachim Breitner2013-12-021-7/+12
* With GND, report Coercible errors earliyJoachim Breitner2013-12-022-28/+54
* TcDeriv: s/isomorphism/coercibleJoachim Breitner2013-12-021-19/+19
* Revert "Respect the ordering of -package directives"Patrick Palka2013-12-011-8/+7
* Respect the ordering of -package directivesPatrick Palka2013-12-011-7/+8
* Move the LDV code below the self-loop label (#8275)Patrick Palka2013-12-011-1/+1
* Don't explicitly refer to nodeReg in ldvEnterClosurePatrick Palka2013-12-012-7/+8
* Document solution to #8275Jan Stolarek2013-12-011-2/+13
* Fix loopification with profiling and enable it by default (#8275)Patrick Palka2013-12-012-4/+3
* Fix documentation of FlexibleContexts (#8574)Krzysztof Gogolewski2013-11-301-1/+1
* Update "stolen syntax" section (#8575)Krzysztof Gogolewski2013-11-301-1/+3
* Call busy_wait_nop() in the spin-wait loop in shutdown_gc_threads()Patrick Palka2013-11-291-1/+4
* Update "stolen syntax" section (#8575)Krzysztof Gogolewski2013-11-291-3/+4
* Minor fix to example GHC plugin in the documentationJoachim Breitner2013-11-291-1/+1
* Update Notes for CoercibleJoachim Breitner2013-11-294-10/+28
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-295-9/+9
* Fail (rather than addErr) if you use a bogus field in a patternSimon Peyton Jones2013-11-291-8/+4
* More faff to get GHCi's top-level environment rightSimon Peyton Jones2013-11-286-158/+190
* Fix the deugger (fixing Trac #8557)Simon Peyton Jones2013-11-281-28/+36
* Refactor handleRunStatus some more, add comments and tidy up formattingSimon Marlow2013-11-281-55/+65
* -ddump-cmm: don't dump the proc point stage if we didn't do anythingSimon Marlow2013-11-281-3/+6
* Comments on slow-call-shortcuttingSimon Marlow2013-11-281-0/+36
* Fix up shortcut for slow callsPatrick Palka2013-11-282-11/+11
* Implement shortcuts for slow calls (#6084)Simon Marlow2013-11-284-9/+71
* EvCast needs to take a representational coercionJoachim Breitner2013-11-284-7/+7
* Comments onlySimon Peyton Jones2013-11-281-1/+4
* Coercible for impredicative typesJoachim Breitner2013-11-273-6/+23
* Get rid of EvCoercibleJoachim Breitner2013-11-276-114/+48
* Beginnings of removing EvCoercibleJoachim Breitner2013-11-272-11/+33
* Roleify TcCoercionJoachim Breitner2013-11-2720-221/+307
* Remove unused liftTcCoSubstWithJoachim Breitner2013-11-271-20/+1
* Add role-checking ASSERT to mkCastJoachim Breitner2013-11-271-1/+3
* Comment onlyGabor Greif2013-11-271-1/+1
* Comment onlyGabor Greif2013-11-271-1/+1
* Rejigger flushExec implementation (#8562, #8561)Austin Seipp2013-11-261-3/+19
* ghc.mk: one module name per lineDr. ERDI Gergo2013-11-261-1/+164
* Typos in commentsGabor Greif2013-11-261-2/+2
* Typos in comments in TcEvidenceJoachim Breitner2013-11-261-6/+6
* In toHsType, filter out kind variablesJoachim Breitner2013-11-252-1/+3
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-2520-625/+430