Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
  • Sign in / Register
GHC
GHC
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
    • Insights
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
    • Locked Files
  • Issues 3,625
    • Issues 3,625
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 198
    • Merge Requests 198
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Security & Compliance
    • Security & Compliance
    • Dependency List
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues

  • Open 13
  • Closed 9
  • All 22
New issue
Recent searches
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight
  • TypeError hides a second error message
    #16894 · opened Jul 02, 2019 by Joey Hess   8.10.1   P::normal bug custom type errors error messages typechecker user-facing   5
    • 2
    updated Jul 07, 2019
  • Have custom type errors imply Void
    #14983 · opened Mar 29, 2018 by Icelandjack   P::low QuantifiedConstraints Trac import custom type errors task   0
    • 2
    updated Jul 07, 2019
  • TypeError reported too eagerly
    #14771 · opened Feb 07, 2018 by Sylvain Henry   P::normal Trac import bug custom type errors error messages typechecker   5
    • 6
    updated Jul 07, 2019
  • Custom type errors don't trigger when matching on a GADT constructor with an error in the constraint
    #14141 · opened Aug 21, 2017 by Darwin226   P::normal Trac import bug custom type errors   5
    • 2
    updated Jul 07, 2019
  • Type family expansion is too lazy, allows accepting of ill-typed terms
    #13775 · opened Jun 01, 2017 by fizruk   P::normal Trac import bug custom type errors typechecker   5
    • 11
    updated Jul 07, 2019
  • `OverloadedStrings` for types
    #12049 · opened May 12, 2016 by Icelandjack   P::normal Trac import custom type errors feature request   5
    • 1
    • 0
    updated Jul 07, 2019
  • Allow CustomTypeErrors in type synonyms (+ evaluate nested type family?)
    #12048 · opened May 12, 2016 by Icelandjack   P::normal Trac import custom type errors feature request   5
    • 5
    updated Jul 07, 2019
  • Custom message when showing functions, comparing functions, ...
    #11967 · opened Apr 22, 2016 by Icelandjack   P::normal Trac import core libraries custom type errors feature request   5
    • 3
    updated Jul 07, 2019
  • TypeError woes (incl. pattern match checker)
    #11503 · opened Jan 28, 2016 by Richard Eisenberg   8.10.1   P::normal Trac import bug custom type errors error messages   5
    • 8
    updated Jul 07, 2019
  • Incorrect warning about redundant constraints
    #11099 · opened Nov 17, 2015 by Iavor S. Diatchki   P::normal Trac import bug custom type errors typechecker   5
    • 5
    updated Jul 07, 2019
  • User defined Type Warnings
    #17027 · opened Aug 05, 2019 by Andreas Klebinger   8.10.1   P::normal custom type errors feature request
    • 3
    • 1
    updated Aug 06, 2019
  • Custom TypeError should include "arising from" clause
    #17168 · opened Sep 08, 2019 by Adam Gundry   8.10.1   custom type errors error messages feature request
    • 1
    updated Sep 10, 2019
  • Custom type errors in default signatures are reported over-eagerly
    #16906 · opened Jul 04, 2019 by Artyom Kazak   8.10.1   bug custom type errors info needed   2
    • 1
    • 9
    updated Sep 17, 2019