summaryrefslogtreecommitdiff
path: root/docs
Commit message (Expand)AuthorAgeFilesLines
* Permit empty closed type familiesAdam Gundry2015-05-041-1/+13
* Typeset Backpack semantic entities in figure, figure-ify all asides.Edward Z. Yang2015-04-302-22/+47
* Typo fixes (mostly in comments)Gabor Greif2015-04-301-2/+2
* Typeset Backpack syntax in a figureSimon Peyton Jones2015-04-301-13/+25
* Backpack docs: merge backpack-shaping into algorithm, sigs no longer provideEdward Z. Yang2015-04-285-934/+376
* Full type checking Backpack details.ghc-julyEdward Z. Yang2015-04-272-34/+180
* Backpack docs: explain alternate merging scheme.Edward Z. Yang2015-04-272-13/+47
* Flesh out some more Backpack examples in the merging section.Edward Z. Yang2015-04-272-2/+85
* Updates to Backpack documentation based on recent visit to MSRC.Edward Z. Yang2015-04-259-595/+1491
* Change default roles in hs-boot files. (#9204)Richard Eisenberg2015-04-242-2/+13
* Fix the formal operational semantics (#10121)Richard Eisenberg2015-04-245-30/+48
* Better documetation of higher rank typesSimon Peyton Jones2015-04-221-14/+48
* Improve error reporting for impredicative typesSimon Peyton Jones2015-04-221-7/+7
* Implement -f[no-]print-unicode-syntax flag for unicode syntax output (#8959)Bertram Felgenhauer2015-04-142-4/+20
* Typos in error messages and in commentsGabor Greif2015-04-102-2/+2
* Axe one-shot sig-ofEdward Z. Yang2015-04-071-5/+5
* Support for multiple signature files in scope.Edward Z. Yang2015-04-071-0/+5
* Add +RTS -O<size> to control the minimum old gen sizeSimon Marlow2015-04-071-0/+15
* User's guide: .a files can be 2-2.5x larger with -split-objsThomas Miedema2015-04-061-4/+4
* Remove an incorrect statement about -fwarn-tabsDave Laing2015-04-031-2/+0
* docs: remove unused -ddump flags from users guideJavran Cheng2015-04-032-32/+0
* uBackpack: simplified Backpack description.Edward Z. Yang2015-03-314-3/+387
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-232-3/+15
* Changes to Safe Haskell documentation from feedback (#10140).David Terei2015-03-091-97/+133
* Improve core linter so it catches unsafeCoerce problems (T9122)Alexander Vershilov2015-03-074-3/+19
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-072-26/+46
* Typos in docs [ci skip]Gabor Greif2015-03-061-2/+2
* User manual section to document the principles of kind inferenceSimon Peyton Jones2015-03-051-0/+60
* A raft of small changes associated with -XConstrainedClassMethodsSimon Peyton Jones2015-03-041-5/+6
* Typos in non-codeGabor Greif2015-03-021-2/+2
* Fix detection of llvm-x.xThomas Miedema2015-03-021-1/+1
* Improve documentation of infinite inlining bugSimon Peyton Jones2015-03-021-3/+13
* Two kind-polymorphism fixes (Trac #10122)Simon Peyton Jones2015-03-021-14/+45
* driver: split -fwarn-unused-binds into 3 flags (fixes #17)Oleg Grenrus2015-02-232-15/+74
* Error out on `Main` without `main` in GHCi (#7765)Thomas Miedema2015-02-231-1/+2
* Add packageName to GHC.Generics.DatatypeOleg Grenrus2015-02-051-0/+1
* Improve error message on typed holes, and user manual (Tradc #10040)Simon Peyton Jones2015-01-281-36/+37
* Add cost semantics for STG profiling.Edward Z. Yang2015-01-275-0/+450
* Revert zipWith strictification (re #9949)David Feuer2015-01-231-8/+0
* Update Backpack document with examples [skip ci]Edward Z. Yang2015-01-212-18/+78
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-192-0/+93
* Doc fix (follow up to #9957)Austin Seipp2015-01-191-1/+1
* Improve documentation of pattern synonyms, to reflect conclusion of Trac #9953Simon Peyton Jones2015-01-191-53/+92
* Improve documentation for -N and -qa (#9890)Simon Marlow2015-01-131-14/+40
* Package environmentsEdsko de Vries2015-01-131-0/+86
* add -th-file which generates a th.hs fileGreg Weber2015-01-133-5/+50
* Pattern synonyms do work in GHCi now (see #9900)Dr. ERDI Gergo2015-01-091-2/+1
* Update syntax of pattern synonym type signature in documentation (fixes #9967)Dr. ERDI Gergo2015-01-091-2/+3
* Improve documentation of -fwarn-redundant-constraintsSimon Peyton Jones2015-01-081-4/+19
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-0/+32