Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
GHC
GHC
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,392
    • Issues 4,392
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 371
    • Merge Requests 371
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues

  • Open 273
  • Closed 987
  • All 1,260
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • "No skolem info" panic with PolyKinds
    #17841 · opened Feb 16, 2020 by Jakob Brünker   8.10.2   PolyKinds Tbug compiler crash typechecker
    • CLOSED
    • 1
    • 3
    updated Oct 19, 2020
  • Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical
    #17827 · opened Feb 12, 2020 by Richard Eisenberg   needs triage typechecker
    • CLOSED
    • 2
    • 1
    updated Feb 14, 2020
  • Instantiation doesn't look through dictionaries
    #17789 · opened Feb 05, 2020 by Richard Eisenberg   needs triage typechecker
    • CLOSED
    • 1
    updated Feb 05, 2020
  • CUSK-less class typechecks on 8.4, but not on 8.6+
    #17772 · opened Jan 31, 2020 by Ryan Scott   PolyKinds Tbug TypeFamilies typechecker
    • CLOSED
    • 2
    • 5
    updated Mar 31, 2021
  • Poly-kinded rewrite rule fails to typecheck (HEAD only)
    #17710 · opened Jan 19, 2020 by Ryan Scott   9.0.1   10   Phighest PolyKinds Tbug rules typechecker
    • CLOSED
    • 2
    • 9
    updated Mar 15, 2020
  • Never kick out Given Nominal equalities
    #17672 · opened Jan 13, 2020 by Richard Eisenberg   Ttask typechecker
    • CLOSED
    • 7
    • 2
    updated Apr 13, 2021
  • Closed type family declaration accepts any name in LHS
    #17633 · opened Jan 03, 2020 by Maxim Koltsov   8.8.1   Pnormal Tbug TypeFamilies program incorrectly accepted typechecker
    • CLOSED
    • 1
    • 2
    • 2
    updated Jan 03, 2020
  • Evidence for equality constraints on typeclass methods isn’t erased
    #17625 · opened Dec 29, 2019 by Alexis King   Pnormal Tbug typechecker
    • CLOSED
    • 10
    updated Jan 08, 2020
  • Never `Any`-ify during kind inference
    #17567 · opened Dec 11, 2019 by Richard Eisenberg   Ttask TypeInType typechecker
    • CLOSED
    • 2
    • 1
    • 11
    updated Jan 11, 2021
  • `Any` appearing in a quantified constraint
    #17562 · opened Dec 10, 2019 by Richard Eisenberg   9.0.1   QuantifiedConstraints Tbug TypeInType error messages typechecker
    • CLOSED
    • 3
    • 4
    updated Jan 11, 2021
  • Regression involving unboxed types and type families
    #17541 · opened Dec 04, 2019 by Matthew Pickering   Pnormal Tbug TypeInType program incorrectly rejected typechecker
    • CLOSED
    • 2
    • 9
    updated Dec 12, 2019
  • `tcMatchTy` is terribly broken
    #17395 · opened Oct 23, 2019 by Simon Peyton Jones   8.10.1   Pnormal Tbug typechecker
    • CLOSED
    • 2
    • 1
    updated Nov 01, 2019
  • Let-bound wildcards are not let-generalised
    #17367 · opened Oct 16, 2019 by Sebastian Graf   typechecker
    • CLOSED
    • 7
    updated Feb 05, 2020
  • BangPatterns in PatternGuards don't work like docs would suggest
    #17343 · opened Oct 11, 2019 by Jakob Brünker   8.10.1   3   Plow typechecker
    • CLOSED
    • 2
    • 6
    updated Oct 16, 2019
  • GHC.TypeLits.TypeError can print 'GHC.Types.Any' when existentials are involved
    #17301 · opened Oct 04, 2019 by sheaf   Pnormal Tbug error messages typechecker
    • CLOSED
    • 2
    • 5
    updated Jan 11, 2021
  • Rank-n-types without -XRankNTypes
    #17213 · opened Sep 19, 2019 by Krzysztof Gogolewski   8.10.1   RankNTypes Tbug typechecker
    • CLOSED
    • 2
    • 0
    updated Jul 14, 2020
  • GHC does not use quantified constraint from transitive superclass
    #17202 · opened Sep 18, 2019 by Alexis King   Pnormal QuantifiedConstraints Tbug typechecker
    • CLOSED
    • 2
    • 13
    updated Mar 19, 2020
  • Enormous error message when importing seemingly unused module
    #17139 · opened Aug 30, 2019 by Ryan Scott   error messages typechecker
    • CLOSED
    • 5
    updated Dec 26, 2020
  • GHC unexpectedly reports variable as untouchable and suggests -XAmbiguousTypes after enabling constraints via associated type family under rank2 argument
    #17105 · opened Aug 23, 2019 by Sergey Vinokurov   Tquestion typechecker
    • CLOSED
    • 7
    updated Sep 02, 2019
  • "Quantification by level numbers would fail" for an ill-kinded signature
    #17077 · opened Aug 19, 2019 by Vladislav Zavialov   8.10.1   Tbug typechecker
    • CLOSED
    • 5
    updated Sep 24, 2019
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • …
  • 50
  • Next