summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-2018-397/+397
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-152-57/+54
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-23/+26
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-1322-422/+420
* Test Trac #12039Simon Peyton Jones2016-05-133-0/+10
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-101-58/+58
* Error message wibbles, re partial type sigsSimon Peyton Jones2016-05-104-154/+144
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-103-0/+16
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-042-2/+2
* Testsuite: accept new output for 2 partial-sigs testsThomas Miedema2016-04-303-52/+65
* Add missing solveEqualitiesSimon Peyton Jones2016-04-283-0/+15
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-262-20/+20
* Don't infer CallStacksEric Seidel2016-04-041-6/+2
* Print which warning-flag controls an emitted warningMichael Walker2016-02-252-2/+2
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2330-145/+145
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-233-94/+94
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-1/+1
* Visible type applicationRichard Eisenberg2015-12-246-19/+22
* Refactor named wildcards (again)Simon Peyton Jones2015-12-222-6/+12
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-219-33/+75
* Add test for T11122Ben Gamari2015-12-183-1/+36
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-3/+4
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-153-5/+5
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-2/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-112-14/+14
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-0155-454/+429
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-245-73/+73
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-46/+46
* Make GHCi & TH work when the compiler is built with -profSimon Marlow2015-11-071-3/+3
* Testsuite: accept output for T10999 (#10999)Thomas Miedema2015-10-271-1/+14
* Add regression tests for #10045, #10999Simon Peyton Jones2015-10-275-0/+43
* Fix quantification for inference with sigsSimon Peyton Jones2015-08-053-0/+46
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-0510-228/+243
* Support wild cards in data/type family instancesThomas Winant2015-08-037-15/+25
* Better treatment of signatures in cls/instSimon Peyton Jones2015-07-302-6/+8
* Support wild cards in TH splicesThomas Winant2015-07-2016-7/+86
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+1
* Better type wildcard errorsSimon Peyton Jones2015-07-107-213/+213
* Improve error message for Typeable k (T k)Simon Peyton Jones2015-06-261-7/+6
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-267-213/+213
* Testsuite: change some expect_fail tests to expect_brokenThomas Miedema2015-06-111-1/+1
* Refactor wild card renamingThomas Winant2015-06-0936-76/+117
* Improve environment handling in TcBindsSimon Peyton Jones2015-03-243-3/+3
* Fix #10045Thomas Winant2015-02-183-0/+54
* Fix panics of PartialTypeSignatures combined with extensionsThomas Winant2015-01-137-0/+27
* Print singleton consraints without parensSimon Peyton Jones2015-01-063-3/+3
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-062-28/+28
* Rename NamedWildcards flag to NamedWildCardsThomas Winant2014-12-2310-10/+10
* Fix panic on [t| _ |] (Trac #9879)Thomas Winant2014-12-153-0/+9
* Implement Partial Type SignaturesThomas Winant2014-11-2884-0/+712
View Lorry Controller Status