summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Look ma, no 'pattern type'!wip/T8584.spjDr. ERDI Gergo2014-11-101-19/+20
* renamer fixup: remove tabDr. ERDI Gergo2014-11-101-1/+1
* Use user-supplied type variables (when available) in pattern synonym type sig...Dr. ERDI Gergo2014-11-091-2/+10
* Finish parserDr. ERDI Gergo2014-11-091-9/+13
* In concrete syntax, existential and universial tyvars of a pattern synonymDr. ERDI Gergo2014-11-094-56/+39
* Parser for SPJ's pattern synonym signature syntaxDr. ERDI Gergo2014-11-093-8/+41
* Add test casesDr. ERDI Gergo2014-11-083-0/+20
* Show foralls (when requested) in pattern synonym typesDr. ERDI Gergo2014-11-082-19/+11
* Add parser for pattern synonym type signatures.Dr. ERDI Gergo2014-11-084-7/+50
* Update baseline shift/reduce conflict numberDr. ERDI Gergo2014-11-081-0/+6
* tcCheckPatSynDecl: typechecker for pattern synonyms with user-suppliedDr. ERDI Gergo2014-11-085-64/+218
* Renamer for PatSynSigs: handle type variable bindingsDr. ERDI Gergo2014-11-082-22/+43
* nlHsTyApps: for applying a function both on type- and term-level argumentsDr. ERDI Gergo2014-11-081-1/+4
* Group PatSyn req/prov arguments together so that they're not all over the placeDr. ERDI Gergo2014-11-084-29/+28
* In pattern synonym matchers, support unboxed continuation results (fixes #9783).Dr. ERDI Gergo2014-11-087-22/+61
* Top-level comment for keepPackageImports.Edward Z. Yang2014-11-071-1/+4
* Miscellaneous documentation for the Finder.Edward Z. Yang2014-11-071-2/+22
* Typofix.Edward Z. Yang2014-11-071-1/+1
* Preserve argument order to (==)/eq in nub and nubByThomas Miedema2014-11-076-14/+45
* base: Manually unlit .lhs into .hs modulesHerbert Valerio Riedel2014-11-0721-747/+254
* Have validate take into account stat test failures too.Gintautas Miliauskas2014-11-071-0/+1
* Use bracket in `withCurrentDirectory`Konstantin Zudov2014-11-071-6/+3
* [Docs] Fixed several broken urls in user's guideKonstantin Zudov2014-11-072-5/+5
* small parser/lexer cleanupYuri de Wit2014-11-075-578/+577
* *Really*, really fix RTS crash due to bad coercion.Merijn Verstraaten2014-11-074-6/+66
* Update .gitignore to properly ignore emacs temp filesAustin Seipp2014-11-071-0/+1
* Make getTag use a bang pattern instead of seqDavid Feuer2014-11-071-1/+1
* Improve Applicative definitionsDavid Feuer2014-11-076-44/+67
* Warn for Safe Haskell when -XOverlappingInstances orDavid Terei2014-11-0611-18/+82
* Add in Incoherent Instances test for Safe Haskell.David Terei2014-11-068-0/+90
* Better error messages for new per-instance overlap flags and SafeDavid Terei2014-11-067-1/+45
* Re-enable T3064, which works nowSimon Peyton Jones2014-11-061-2/+1
* Refactor the code that prevents recursion among Coercible constraintsSimon Peyton Jones2014-11-063-46/+44
* Wibbles to notesSimon Peyton Jones2014-11-061-33/+2
* Allow the solved dictionaries to propagate from outside inSimon Peyton Jones2014-11-061-3/+26
* Minor refacoring and trace-message printingSimon Peyton Jones2014-11-062-24/+25
* Switch off lazy flattening (fix Trac #3064)Simon Peyton Jones2014-11-067-36/+85
* Give T3064 the right module name (just tidying up)Simon Peyton Jones2014-11-061-1/+1
* Comments and white space onlySimon Peyton Jones2014-11-061-1/+1
* Make tyConsOfType return a (NameEnv TyCon) rather than [TyCon]Simon Peyton Jones2014-11-064-13/+14
* Remove unused tyConsOfDataConSimon Peyton Jones2014-11-062-15/+1
* Move expansion of 'assert' from renamer to typecheckerSimon Peyton Jones2014-11-065-64/+74
* Update User's Guide, cleanup DynFlagsJan Stolarek2014-11-067-553/+1005
* Remove -ddump-core-pipeline flagJan Stolarek2014-11-064-7/+7
* Remove -ddump-simpl-phases flagJan Stolarek2014-11-065-67/+14
* Clarify confusing notice from `make maintainer-clean`Jan Stolarek2014-11-061-1/+1
* Add doctest examples for Data.EitherMichael Orlitzky2014-11-061-6/+175
* Add a comment about stack checksSimon Marlow2014-11-051-0/+2
* Disable an assertion; see commentSimon Marlow2014-11-051-1/+7
* Fix a couple of inaccurate stack checksSimon Marlow2014-11-051-3/+6