Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add structured error messages for GHC.Tc.TyCl | Torsten Schmits | 2023-04-01 | 1 | -1/+1 |
| | | | | | | | | | Tracking ticket: #20117 MR: !10183 This converts uses of `mkTcRnUnknownMessage` to newly added constructors of `TcRnMessage`. | ||||
* | Fix wrong-kind-of-family error message (Trac #9896) | Simon Peyton Jones | 2014-12-18 | 1 | -5/+5 |
| | |||||
* | Entirely re-jig the handling of default type-family instances (fixes Trac #9063) | Simon Peyton Jones | 2014-07-15 | 1 | -5/+5 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | In looking at Trac #9063 I decided to re-design the default instances for associated type synonyms. Previously it was all jolly complicated, to support generality that no one wanted, and was arguably undesirable. Specifically * The default instance for an associated type can have only type variables on the LHS. (Not type patterns.) * There can be at most one default instances declaration for each associated type. To achieve this I had to do a surprisingly large amount of refactoring of HsSyn, specifically to parameterise HsDecls.TyFamEqn over the type of the LHS patterns. That change in HsDecls has a (trivial) knock-on effect in Haddock, so this commit does a submodule update too. The net result is good though. The code is simpler; the language specification is simpler. Happy days. Trac #9263 and #9264 are thereby fixed as well. | ||||
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -2/+2 |
| | | | | | | | This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019) and therefore looks more familiar on the console. This addresses #2507. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> | ||||
* | Update outputs following the unicode quote change in GHC's output | Ian Lynagh | 2013-02-24 | 1 | -5/+5 |
| | |||||
* | Error message wibbles following TyClDecl/HsTyDefn refactoring | Simon Peyton Jones | 2012-03-26 | 1 | -5/+5 |
| | |||||
* | Update test output following change to associated type synonym default ↵ | Max Bolingbroke | 2011-09-26 | 1 | -1/+1 |
| | | | | kind-checking time | ||||
* | Test associated type defaults | Max Bolingbroke | 2011-09-09 | 1 | -0/+5 |