summaryrefslogtreecommitdiff
path: root/docs
Commit message (Expand)AuthorAgeFilesLines
* Backpack docs: Rewrite type checking section to have a more concrete plan.Edward Z. Yang2015-05-142-200/+225
* Update Safe Haskell documentation.David Terei2015-05-121-264/+398
* Backpack docs: Consistently italicize metavariables.Edward Z. Yang2015-05-122-85/+85
* Backpack docs: proper discourse on ModIface and ModDetails.Edward Z. Yang2015-05-112-26/+124
* Ignore out and toc files.Edward Z. Yang2015-05-111-0/+2
* Backpack docs: more carefully describe unification versus unioning.Edward Z. Yang2015-05-112-7/+6
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-112-3/+8
* Revert stage 1 template-haskell. This is a combination of 5 commits.Edward Z. Yang2015-05-092-8/+3
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-092-3/+8
* Backpack docs: AvailInfo plan, and why selectors are hard.Edward Z. Yang2015-05-082-14/+109
* Backpack docs: meditate on AvailTC with four examples.Edward Z. Yang2015-05-072-26/+233
* rts: add "-no-rtsopts-suggestions" optionJavran Cheng2015-05-062-0/+29
* 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
View Lorry Controller Status