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,615
    • Issues 3,615
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 206
    • Merge Requests 206
  • 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 is fragile
    #11391 · opened Jan 09, 2016 by Ben Gamari   8.0.1   P::high Trac import bug custom type errors error messages typechecker   7
    • CLOSED
    • 8
    updated Jul 07, 2019
  • Type families, `TypeError`, and `-fdefer-type-errors` cause "opt_univ fell into a hole"
    #12104 · opened May 23, 2016 by antalsz   8.2.1   P::high Trac import TypeFamilies bug compiler crash custom type errors   7
    • CLOSED
    • 11
    updated Jul 07, 2019
  • Can't create injective type family equation with TypeError as the RHS
    #12119 · opened May 25, 2016 by Ryan Scott   P::normal Trac import TypeFamilies custom type errors feature request injective type families typechecker   5
    • CLOSED
    • 9
    updated Jul 07, 2019
  • Constraint resolution vs. type family resolution vs. TypeErrors
    #12237 · opened Jun 28, 2016 by cactus   P::normal Trac import custom type errors feature request   5
    • CLOSED
    • 3
    updated Jul 07, 2019
  • GHC 8.2.1 regression when combining GND with TypeError (solveDerivEqns: probable loop)
    #14339 · opened Oct 10, 2017 by Ryan Scott   8.2.2   P::high Trac import bug compiler crash custom type errors deriving typechecker   7
    • CLOSED
    • 6
    updated Jul 07, 2019
  • DeriveAnyClass instances may skip TypeError constraints
    #15052 · opened Apr 18, 2018 by Daniel Gorín   8.6.1   P::normal Trac import bug custom type errors   5
    • CLOSED
    • 14
    updated Jul 07, 2019
  • TypeError is reported as "redundant constraint" starting with GHC 8.2
    #15232 · opened Jun 05, 2018 by fsoikin   8.6.1   P::normal Trac import bug custom type errors error messages   5
    • CLOSED
    • 1
    updated Jul 07, 2019
  • Deriving a class via an instance that has a TypeError constraint using standalone deriving fails during compilation.
    #16362 · opened Feb 24, 2019 by j9794   P::normal Trac import bug custom type errors   5
    • CLOSED
    • 7
    updated Jul 07, 2019
  • `TypeError` in a pattern should flag inaccessible code
    #16377 · opened Mar 01, 2019 by Iavor S. Diatchki   P::normal Trac import bug custom type errors typechecker   5
    • CLOSED
    • 2
    updated Jul 07, 2019