summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Expand)AuthorAgeFilesLines
...
* Add tests for #11465 and the kind invariantBen Gamari2016-01-227-1/+42
* Default non-canonical CallStack constraintsEric Seidel2016-01-223-0/+27
* Add expected stderr for #11466 test caseJoachim Breitner2016-01-221-0/+6
* Always run test T9407Reid Barton2016-01-211-5/+1
* Add -ignore-dot-ghci to tests that use --interactiveReid Barton2016-01-212-3/+3
* Add a missing .gitignore entry in annotations testsReid Barton2016-01-211-0/+1
* Allow implicit parameters in constraint synonymsSimon Peyton Jones2016-01-212-1/+18
* Strip casts in checkValidInstHeadSimon Peyton Jones2016-01-213-0/+12
* Remove the check_lifted check in TcValiditySimon Peyton Jones2016-01-212-7/+8
* Re-add missing kind generalisationSimon Peyton Jones2016-01-215-6/+29
* Add test T9407 (Windows)Rik Steenkamp2016-01-203-0/+61
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-204-1/+13
* Use (&&) instead of `if` in Ix derivationBen Gamari2016-01-202-0/+12
* Fix combineIdenticalAltsSimon Peyton Jones2016-01-203-0/+43
* T11266: Improve the test by adding more of the other problematic modulesÖmer Sinan Ağacan2016-01-191-1/+3
* Fix IfaceType generation for TyCons without TyVarsÖmer Sinan Ağacan2016-01-192-0/+3
* Hide derived OccNames from userBen Gamari2016-01-195-1/+13
* Switch from -this-package-key to -this-unit-id.Edward Z. Yang2016-01-193-4/+4
* Test Trac #11379Simon Peyton Jones2016-01-182-0/+37
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-182-0/+24
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-1827-104/+231
* Fix typecheck of default associated type declsSimon Peyton Jones2016-01-184-0/+40
* Add testcase for #11414Ben Gamari2016-01-172-0/+5
* Complete operators properlyArthur Fayzrakhmanov (Артур Файзрахманов)2016-01-1728-1/+654
* Add missing T11408.hsSimon Peyton Jones2016-01-161-0/+23
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-163-2/+47
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-166-1/+167
* Fix #11405.Richard Eisenberg2016-01-152-2/+4
* Fix typo in error message (#11409)Richard Eisenberg2016-01-151-8/+8
* Constrained types have kind * in validity check.Richard Eisenberg2016-01-152-0/+11
* Fix #11254.Richard Eisenberg2016-01-152-1/+26
* Fix #11311Richard Eisenberg2016-01-155-0/+24
* Test #11252 in ghci/scripts/T11252Richard Eisenberg2016-01-153-0/+5
* Fix #11355.Richard Eisenberg2016-01-153-0/+15
* Expand type/kind synonyms in TyVars before deriving-related typecheckingRyanGlScott2016-01-152-0/+20
* Allow pattern synonyms which have several clauses.Matthew Pickering2016-01-152-0/+8
* Link command line libs to temp soPeter Trommler2016-01-155-0/+27
* Rename InjectiveTypeFamilies to TypeFamilyDependenciesBen Gamari2016-01-1417-17/+17
* Add tests for #11391Ben Gamari2016-01-145-0/+40
* Print a message when loading a .ghci file.Kwang Yul Seo2016-01-131-0/+2
* Add test for Data.Typeable.typeOfBen Gamari2016-01-133-0/+58
* Add InjectiveTypeFamilies language extensionJan Stolarek2016-01-0918-17/+33
* fix -ddump-splices to parenthesize ((\x -> x) a) correctlyYuri de Wit2016-01-092-5/+3
* Add failing testcase for #10603Ben Gamari2016-01-093-0/+12
* Reject import declaration with semicolon in GHCiRik Steenkamp2016-01-093-0/+3
* Fix test for T9367 (Windows)Rik Steenkamp2016-01-081-1/+1
* Rename the test-way prof_h to normal_hSimon Marlow2016-01-081-1/+1
* Fix +RTS -h when compiling without -profSimon Marlow2016-01-082-2/+16
* Fix Template Haskell's handling of infix GADT constructorsRyanGlScott2016-01-084-16/+72
* Enable stack traces with ghci -fexternal-interpreter -profSimon Marlow2016-01-081-2/+2
View Lorry Controller Status