summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Add a test for #21278wip/T21278Krzysztof Gogolewski2023-05-103-0/+21
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-031-2/+3
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-2528-47/+47
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+1
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-131-1/+2
* Diagnostic codes: acccept test changessheaf2022-09-1340-64/+64
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* TTG: Rework and improve splicesromes2022-06-011-1/+1
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-172-2/+2
* Improve pretty-printer defaulting logic (#19361)Krzysztof Gogolewski2021-09-173-0/+20
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-044-2/+30
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-025-0/+22
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-295-2/+13
* Add proper GHCHints for most PsMessage constructorswip/adinapoli-issue-20055Alfredo Di Napoli2021-07-122-2/+4
* Fixes around incomplete guards (#20023, #20024)Krzysztof Gogolewski2021-06-241-1/+1
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-2/+2
* GHC Exactprint main commitAlan Zimmerman2021-03-202-2/+2
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-173-0/+16
* Restrict Linear arrow %1 to exactly literal 1 onlyAlan Zimmerman2020-11-035-0/+21
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-093-0/+19
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-053-0/+25
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-026-4/+29
* Fix pretty-printing of the mult-polymorphic arrowVladislav Zavialov2020-10-013-9/+9
* Improve error messages for (a %m) without LinearTypesVladislav Zavialov2020-09-291-8/+1
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-2931-50/+69
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-263-0/+29
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-253-0/+13
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-3/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-1756-0/+660
View Lorry Controller Status