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,321
    • Issues 4,321
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 367
    • Merge Requests 367
  • 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 271
  • Closed 972
  • All 1,243
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight
  • Incremental `tcCheckSatisfiability` API
    #18645 · opened Sep 03, 2020 by Sebastian Graf   needs triage pattern match warnings task typechecker
    • CLOSED
    • 2
    • 0
    updated Sep 14, 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
  • ThBrackCtxt is unused
    #18715 · opened Sep 18, 2020 by Ryan Scott   TemplateHaskell typechecker
    • CLOSED
    • 2
    • 3
    updated Sep 21, 2020
  • Infer multiplicity of case expression
    #18738 · opened Sep 23, 2020 by Arnaud Spiwack   LinearTypes feature request typechecker
    • 1
    updated Feb 28, 2021
  • Infer multiplicity of let expression
    #18739 · opened Sep 23, 2020 by Arnaud Spiwack   LinearTypes feature request typechecker
    • 6
    updated Sep 28, 2020
  • Tighten up the treatment of loose types in the solver
    #18753 · opened Sep 26, 2020 by Richard Eisenberg   TypeInType constraint solver typechecker
    • CLOSED
    • 3
    • 1
    updated Sep 30, 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
  • Visibility mismatch between data declaration and kind signature, accepted!
    #18863 · opened Oct 19, 2020 by Icelandjack   9.2.1   needs triage typechecker
    • CLOSED
    • 2
    • 6
    updated Oct 31, 2020
  • 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
  • Occurs-check-y Givens rewrite once, but not twice
    #18875 · opened Oct 22, 2020 by Richard Eisenberg   TypeFamilies constraint solver typechecker
    • CLOSED
    • 3
    • 3
    updated Dec 04, 2020
  • Kind inference for newtypes in GADT syntax is deeply broken
    #18891 · opened Oct 26, 2020 by Richard Eisenberg   9.2.1   GADTs Pnormal PolyKinds StandaloneKindSignatures TypeFamilies TypeInType UnliftedNewtypes bug levity polymorphism typechecker
    • CLOSED
    • 2
    • 3
    updated Dec 08, 2020
  • Order-dependent type inference due to Note [Instance and Given overlap]
    #18910 · opened Oct 30, 2020 by Richard Eisenberg   Pnormal TypeFamilies bug constraint solver typechecker
    • CLOSED
    • 3
    • 5
    updated Jan 06, 2021
  • ghc-8.8 does not infer kind
    #18920 · opened Nov 02, 2020 by jwaldmann   8.10.1   bug program incorrectly rejected typechecker
    • CLOSED
    • 2
    • 5
    updated Nov 09, 2020
  • Investigate touchable meta-variables in Givens
    #18929 · opened Nov 07, 2020 by Richard Eisenberg   constraint solver partial type sigs typechecker
    • CLOSED
    • 9
    updated Jan 02, 2021
  • Quick Look does not zonk return types
    #18987 · opened Nov 24, 2020 by Richard Eisenberg   ImpredicativeTypes task typechecker
    • CLOSED
    • 2
    updated Dec 21, 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
  • Regression: HEAD requires FlexibleContexts because of inferred, redundant constraint
    #19044 · opened Dec 09, 2020 by Ryan Scott   9.2.1   OverlappingInstances Phighest bug program incorrectly accepted typechecker
    • CLOSED
    • 3
    • 4
    updated Dec 19, 2020
  • 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
  • Partial type signature variable confuses instance solving
    #19106 · opened Dec 22, 2020 by Richard Eisenberg   constraint solver partial type sigs typechecker
    • CLOSED
    • 2
    • 2
    updated Jan 25, 2021
  • GADT pattern match defeats instance solving
    #19107 · opened Dec 22, 2020 by Richard Eisenberg   constraint solver typechecker
    • CLOSED
    • 2
    • 5
    updated Jan 25, 2021
  • 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
  • panic: No skolem info when trying to use variable with polymorphic kind as Type/Constraint
    #19140 · opened Dec 31, 2020 by Jakob Brünker   9.2.1   RankNTypes bug compiler crash needs triage typechecker
    • CLOSED
    • 1
    updated Dec 31, 2020
  • panic lookup_final_id with -fdefer-type-errors and kind error in instance definition
    #19142 · opened Dec 31, 2020 by Jakob Brünker   Pnormal bug compiler crash deferred type errors typechecker
    • CLOSED
    • 3
    • 6
    updated Jan 22, 2021
  • GHC 9.0 no longer typechecks a program involving overloaded labels and type applications
    #19154 · opened Jan 02, 2021 by sheaf   9.2.1   bug program incorrectly rejected typechecker
    • CLOSED
    • 5
    • 8
    updated Feb 22, 2021
  • Regression around overloaded literals and type applications
    #19167 · opened Jan 04, 2021 by Richard Eisenberg   9.2.1   OverloadedStrings RebindableSyntax TypeApplications typechecker
    • CLOSED
    • 2
    updated Feb 21, 2021
  • TypeInType prevents Typeable from being resolved from a given
    #19196 · opened Jan 08, 2021 by Serge Kosyrev   TypeInType Typeable program incorrectly rejected typechecker
    • CLOSED
    • 3
    updated Jan 11, 2021
  • ‘:kind () :: '()’ doesn't give any output
    #19197 · opened Jan 09, 2021 by Icelandjack   GHCi bug needs triage typechecker
    • CLOSED
    • 1
    • 2
    updated Jan 18, 2021
  • 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
  • GHC 9.0 regression: plots-0.1.1.2 fails to build due to ambiguous type variable
    #19315 · opened Feb 03, 2021 by Ryan Scott   9.0.2   Phighest bug program incorrectly rejected typechecker
    • CLOSED
    • 11
    updated Feb 10, 2021
  • oversized source range in type error message
    #19364 · opened Feb 13, 2021 by jwaldmann   Pnormal bug error messages typechecker
    • 1
    updated Feb 28, 2021
  • Surprising lack of generalisation using MonoLocalBinds
    #19396 · opened Feb 17, 2021 by Tom Ellis   feature request typechecker
    • 7
    updated Feb 26, 2021
  • GHC 9.0 unable to deduce that instance signature is at least as general as class signature
    #19419 · opened Feb 23, 2021 by sheaf   InstanceSigs typechecker
    • CLOSED
    • 2
    updated Feb 25, 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
    • 13
    updated Feb 28, 2021
  • conduit-1.3.4 builds with 9.0.1, but not HEAD, due to regression in typechecking sections
    #19457 · opened Feb 27, 2021 by Ryan Scott   9.2.1   Phighest bug program incorrectly rejected typechecker
    • 0
    updated Feb 28, 2021
  • Prev
  • 1
  • …
  • 9
  • 10
  • 11
  • 12
  • 13
  • Next