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,318
    • Issues 4,318
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 386
    • Merge Requests 386
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Security & Compliance
    • Security & Compliance
    • Dependency List
    • License Compliance
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues

  • Open 270
  • Closed 972
  • All 1,242
New issue
  • 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   5   Pnormal bug custom type errors error messages typechecker user-facing
    • 2
    updated Jan 23, 2020
  • Refactor Ct and friends
    #16947 · opened Jul 16, 2019 by Richard Eisenberg   9.2.1   Pnormal task typechecker
    • 0
    updated Jan 22, 2021
  • Type error being deferred to other values
    #16954 · opened Jul 18, 2019 by Some Guy   Pnormal typechecker
    • 0
    updated Jan 23, 2020
  • More of Note [Let-bound skolems]
    #16967 · opened Jul 22, 2019 by Richard Eisenberg   Pnormal feature request typechecker
    • 1
    updated Aug 01, 2019
  • Break out TcTyVar into its own type
    #16982 · opened Jul 25, 2019 by Richard Eisenberg   Pnormal task typechecker
    • 3
    updated Aug 01, 2019
  • Refactor TcTyCon into its own type
    #17032 · opened Aug 06, 2019 by Richard Eisenberg   task typechecker
    • 1
    updated Aug 19, 2019
  • Investigate Note [Kind checking recursive type and class declarations]
    #17033 · opened Aug 06, 2019 by Richard Eisenberg   task typechecker
    • 0
    updated Jan 23, 2020
  • `-Wredundant-constraints` depends on the ordering of constraints with overlapping superclasses
    #17053 · opened Aug 10, 2019 by InThisStyle10s6p   bug typechecker
    • 4
    updated Jan 23, 2020
  • Dependent quantification prevents unification
    #17072 · opened Aug 17, 2019 by Vladislav Zavialov   feature request typechecker visible dependent quantification
    • 1
    • 17
    updated Jan 23, 2020
  • Lift restriction that pattern matching on existentials must be strict
    #17130 · opened Aug 28, 2019 by bfrk   feature request typechecker
    • 5
    updated Jan 23, 2020
  • Role annotations on classes require module-wide IncoherentInstances
    #17167 · opened Sep 08, 2019 by Adam Gundry   IncoherentInstances roles task typechecker
    • 3
    updated Jan 23, 2020
  • Another loop with injective type families
    #17186 · opened Sep 12, 2019 by Richard Eisenberg   TypeFamilies bug compiler crash injective type families typechecker
    • 0
    updated Nov 10, 2020
  • Levity polymorphism and defaulting
    #17201 · opened Sep 17, 2019 by Krzysztof Gogolewski   levity polymorphism task typechecker
    • 10
    updated Sep 24, 2020
  • Slow Typechecking (Followup of #14987)
    #17223 · opened Sep 20, 2019 by Victor Cacciari Miraldo   bug compiler perf typechecker
    • 1
    • 24
    updated Sep 23, 2020
  • Infelicities in pure unifier
    #17225 · opened Sep 20, 2019 by Richard Eisenberg   bug typechecker
    • 0
    updated Mar 10, 2020
  • Quantified constraints which specify associated type instances
    #17226 · opened Sep 21, 2019 by sheaf   QuantifiedConstraints feature request typechecker
    • 1
    • 14
    updated Jan 23, 2020
  • :kind! should adhere to -freduction-depth
    #17306 · opened Oct 04, 2019 by Jakob Brünker   GHCi Pnormal bug compiler crash typechecker
    • 1
    • 1
    updated Oct 09, 2019
  • Type family equality gets stuck on types that fail the occurs check
    #17311 · opened Oct 05, 2019 by isovector   Pnormal bug typechecker
    • 5
    updated Dec 11, 2020
  • The Purely Kinded Type Invariant (PKTI) is not good enough
    #17323 · opened Oct 08, 2019 by Richard Eisenberg   bug typechecker
    • 1
    • 27
    updated Jan 24, 2020
  • Kind-checking associated types
    #17327 · opened Oct 09, 2019 by mniip   TypeFamilies TypeInType bug typechecker
    • 2
    updated Feb 18, 2020
  • GeneralizedNewtypeDeriving should not require that constructor be in scope
    #17328 · opened Oct 09, 2019 by Richard Eisenberg   deriving typechecker
    • 9
    updated Jul 03, 2020
  • Coercible solver does not look through "class newtypes"
    #17333 · opened Oct 09, 2019 by Ryan Scott   Coercible Pnormal bug program incorrectly rejected typechecker
    • 5
    updated Feb 16, 2021
  • Implement homogeneous equality
    #17368 · opened Oct 16, 2019 by Richard Eisenberg   TypeInType core lint task typechecker
    • 2
    updated Mar 10, 2020
  • Wildcards in standalone kind signatures
    #17432 · opened Nov 04, 2019 by Richard Eisenberg   Pnormal StandaloneKindSignatures feature request partial type sigs typechecker
    • 3
    updated Jan 12, 2020
  • Coercion variables appearing where they shouldn't   0 of 3 tasks completed
    #17545 · opened Dec 05, 2019 by Krzysztof Gogolewski   task typechecker
    • 1
    • 2
    updated Jan 20, 2020
  • Validity check quantified constraints
    #17563 · opened Dec 10, 2019 by Richard Eisenberg   8.10.2   QuantifiedConstraints bug program incorrectly accepted typechecker
    • 1
    • 3
    updated Dec 13, 2020
  • Don't drop derived quantified constraints
    #17564 · opened Dec 10, 2019 by Richard Eisenberg   QuantifiedConstraints task typechecker
    • 1
    updated Dec 11, 2019
  • Loop in the constraint solver around variables free in kinds
    #17644 · opened Jan 06, 2020 by Richard Eisenberg   Pnormal bug compiler crash typechecker
    • 15
    updated Jan 20, 2020
  • Never kick out Given Nominal equalities
    #17672 · opened Jan 13, 2020 by Richard Eisenberg   task typechecker
    • 1
    updated Jan 19, 2021
  • Superclass expansion fails in instance declaration
    #17679 · opened Jan 13, 2020 by Richard Eisenberg   Pnormal bug typechecker
    • 3
    updated Jan 15, 2020
  • Refactor mapType/mapCoercion so that they inline
    #17717 · opened Jan 20, 2020 by Richard Eisenberg   task typechecker
    • 0
    updated Mar 23, 2020
  • Refactor solver to leave breadcrumbs
    #17718 · opened Jan 20, 2020 by Richard Eisenberg   task typechecker
    • 1
    • 0
    updated Jan 20, 2020
  • Note [Do not add duplicate quantified instances] is simplistic, causing rejection of programs
    #17719 · opened Jan 20, 2020 by Richard Eisenberg   QuantifiedConstraints typechecker
    • 0
    updated Jul 14, 2020
  • Recursive superclass check is defeated by quantified constraints
    #17737 · opened Jan 24, 2020 by Richard Eisenberg   Pnormal QuantifiedConstraints bug typechecker
    • 2
    updated Mar 10, 2020
  • CUSK-less class typechecks on 8.4, but not on 8.6+
    #17772 · opened Jan 31, 2020 by Ryan Scott   PolyKinds TypeFamilies bug typechecker
    • 4
    updated Jun 08, 2020
  • `case` needn't instantiate its scrutinee
    #17790 · opened Feb 05, 2020 by Richard Eisenberg   task typechecker
    • 0
    updated Feb 05, 2020
  • Consider using specificity to disambiguate quantified constraints
    #17934 · opened Mar 19, 2020 by Richard Eisenberg   QuantifiedConstraints feature request typechecker
    • 2
    updated Feb 21, 2021
  • GHCi infers too-general type when pattern-matching on existential GADT
    #18007 · opened Apr 02, 2020 by infinity0   GADTs GHCi Pnormal bug typechecker
    • 1
    updated Apr 08, 2020
  • A cast might get in the way of instantiation
    #18062 · opened Apr 15, 2020 by Simon Peyton Jones   Pnormal TypeInType bug typechecker
    • 1
    updated Apr 27, 2020
  • Type synonym lost with GADTs
    #18196 · opened May 17, 2020 by Identical Snowflake   GADTs Pnormal bug typechecker
    • 1
    updated May 18, 2020
  • Improve Coercible under foralls
    #18220 · opened May 22, 2020 by Simon Peyton Jones   typechecker
    • 0
    updated May 22, 2020
  • Outdated commentary in solveNestedImplications?
    #18295 · opened Jun 03, 2020 by Richard Eisenberg   documentation task typechecker
    • 2
    updated Jun 04, 2020
  • Order of StandaloneKindSignatures and CUSKs extensions significant
    #18308 · opened Jun 07, 2020 by Björn Hegerfors   CUSKs Pnormal StandaloneKindSignatures TypeInType bug typechecker
    • 5
    updated Jun 26, 2020
  • Record update is over-restrictive
    #18311 · opened Jun 08, 2020 by Simon Peyton Jones   Pnormal bug records typechecker
    • 0
    updated Oct 05, 2020
  • Functional dependency should constrain local inferred type, but does not
    #18406 · opened Jun 29, 2020 by Richard Eisenberg   FunctionalDependencies Pnormal bug typechecker
    • 4
    updated Jul 20, 2020
  • Suboptimal constraint solving
    #18413 · opened Jul 02, 2020 by Simon Peyton Jones   compiler perf constraint solver task typechecker
    • 4
    updated Nov 09, 2020
  • "equirecursive" type family leads to stack overflow in ghci
    #18456 · opened Jul 15, 2020 by Xia Li-yao   GHCi Pnormal TypeFamilies bug compiler crash typechecker
    • 2
    updated Jul 17, 2020
  • Improve instantiation of datacons
    #18481 · opened Jul 20, 2020 by Krzysztof Gogolewski   LinearTypes task typechecker
    • 1
    updated Jul 21, 2020
  • GHC fails to infer type with FlexibleContexts
    #18529 · opened Aug 03, 2020 by Richard Eisenberg   Pnormal bug program incorrectly rejected typechecker
    • 0
    updated Sep 30, 2020
  • Why check for -fdefer-type-errors in metaTyVarUpdateOK?
    #18689 · opened Sep 14, 2020 by Richard Eisenberg   TypeInType typechecker
    • 1
    updated Dec 22, 2020
  • GHC could not deduce constraint from itself
    #18704 · opened Sep 17, 2020 by rybochodonezzar   Pnormal bug typechecker
    • 1
    • 3
    updated Sep 30, 2020
  • Infer multiplicity of case expression
    #18738 · opened Sep 23, 2020 by Arnaud Spiwack   LinearTypes feature request typechecker
    • 1
    updated Feb 18, 2021
  • Infer multiplicity of let expression
    #18739 · opened Sep 23, 2020 by Arnaud Spiwack   LinearTypes feature request typechecker
    • 6
    updated Sep 28, 2020
  • Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc
    #18758 · opened Sep 28, 2020 by Vladislav Zavialov   9.2.1   task typechecker
    • 1
    • 13
    updated Sep 30, 2020
  • Typecheck record update via desugaring
    #18802 · opened Oct 05, 2020 by Simon Peyton Jones   records task typechecker
    • 2
    updated Oct 05, 2020
  • Instance/given overlap trips up the ambiguity check
    #18850 · opened Oct 15, 2020 by Richard Eisenberg   OverlappingInstances ambiguity check typechecker
    • 5
    updated Oct 29, 2020
  • Non-confluence in the solver
    #18851 · opened Oct 15, 2020 by Richard Eisenberg   FunctionalDependencies Pnormal UndecideableInstances bug constraint solver typechecker
    • 41
    updated Jan 04, 2021
  • Quantified equality constraints are not used for rewriting
    #18873 · opened Oct 21, 2020 by Richard Eisenberg   QuantifiedConstraints constraint solver typechecker
    • 3
    updated Dec 10, 2020
  • Partial type signature algorithm fails to infer constraints in the presence of GADTs
    #19010 · opened Nov 30, 2020 by sheaf   Pnormal bug partial type sigs typechecker
    • 16
    updated Dec 20, 2020
  • Type wildcard infers differently than no type signature
    #19013 · opened Dec 01, 2020 by dminuoso   Pnormal bug partial type sigs typechecker
    • 1
    updated Dec 10, 2020
  • Regression: HEAD incurs a reduction stack overflow on program involving type equality
    #19042 · opened Dec 09, 2020 by Ryan Scott   9.2.1   Phighest bug program incorrectly rejected typechecker
    • 1
    • 7
    updated Feb 10, 2021
  • Allow named wildcards in constraints
    #19051 · opened Dec 10, 2020 by sheaf   partial type sigs typechecker
    • 8
    updated Dec 23, 2020
  • Make the canonicaliser do unification
    #19060 · opened Dec 14, 2020 by Simon Peyton Jones   task typechecker
    • 0
    updated Dec 14, 2020
  • Does the sub-type check in Note [Impedance matching] ever fail?
    #19131 · opened Dec 27, 2020 by Richard Eisenberg   task typechecker
    • 3
    updated Feb 17, 2021
  • Incorrect documentation around EqualCtList
    #19137 · opened Dec 30, 2020 by Richard Eisenberg   constraint solver typechecker
    • 0
    updated Dec 30, 2020
  • E-Graphs for representation of normalised refinement types in the pattern-match checker
    #19272 · opened Jan 28, 2021 by Sebastian Graf   pattern match warnings simplifier task typechecker
    • 1
    updated Jan 29, 2021
  • oversized source range in type error message
    #19364 · opened Feb 13, 2021 by jwaldmann   Pnormal bug error messages typechecker
    • 1
    updated Feb 25, 2021
  • Surprising lack of generalisation using MonoLocalBinds
    #19396 · opened Feb 17, 2021 by Tom Ellis   feature request typechecker
    • 7
    updated Feb 26, 2021
  • Deprecate `-Winaccessible-code`
    #19428 · opened Feb 23, 2021 by Sebastian Graf   needs triage pattern match warnings typechecker
    • 3
    updated Feb 25, 2021
  • GHC 9.0 rejects default signature that 8.10 accepts
    #19432 · opened Feb 25, 2021 by Ryan Scott   DefaultSignatures bug program incorrectly rejected typechecker
    • 1
    updated Feb 25, 2021
  • Prev
  • 1
  • 2
  • 3
  • Next