Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,835
    • Issues 4,835
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 448
    • Merge requests 448
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
    • Value stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues

  • Open 325
  • Closed 1,052
  • All 1,377
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • Exponential blowup in T9198 (regresssion from 8.10 and 9.0)
    #19668 · created Apr 08, 2021 by vdukhovni   9.2.1   Phigh compiler perf typechecker
    • CLOSED
    • 19
    updated Oct 11, 2021
  • GHC does not rewrite in FunTy
    #19677 · created Apr 09, 2021 by Richard Eisenberg   Pnormal Tbug TypeInType constraint solver program incorrectly rejected representation polymorphism typechecker
    • CLOSED
    • 3
    • 0
    updated Feb 21, 2022
  • Constraint solver regression in 9.2
    #19682 · created Apr 10, 2021 by Andres Löh   9.2.1   Phigh Tbug constraint solver typechecker
    • CLOSED
    • 5
    • 6
    updated Jul 28, 2021
  • GHC 9.0+ fails to combine levity-polymorphic newtype constructor with TypeApplications
    #19728 · created Apr 22, 2021 by Ryan Scott   Phighest Tbug TypeApplications UnliftedNewtypes program incorrectly rejected representation polymorphism typechecker
    • CLOSED
    • 2
    updated Apr 22, 2021
  • Degradation in error message clarity for ` GHC.TypeNats.<=?`
    #20009 · created Jun 17, 2021 by Christiaan Baaij   Phigh Tbug constraint solver error messages type literals typechecker
    • CLOSED
    • 9
    • 5
    updated Oct 27, 2021
  • No skolem info panic involving typed hole
    #20063 · created Jun 29, 2021 by sheaf   No skolem info Pnormal Tbug compiler crash typechecker typed holes
    • CLOSED
    • 3
    updated Mar 22, 2022
  • Use a specific Reduction datatype instead of `(Type,Coercion)`
    #20161 · created Jul 25, 2021 by sheaf   Coercions Plow Ttask typechecker
    • CLOSED
    • 2
    • 0
    updated Aug 05, 2021
  • Deferred type errors are too lazy, and can be dropped by Core optimisations
    #20227 · created Aug 12, 2021 by sheaf   Tbug constraint solver deferred type errors typechecker
    • CLOSED
    • 9
    updated Aug 14, 2021
  • mightEqualLater finds an unbound cbv
    #20231 · created Aug 14, 2021 by YellPika   9.2.2   Phigh Tbug typechecker
    • CLOSED
    • 2
    • 9
    updated May 09, 2022
  • Representation-polymorphic unboxed sum causes a panic
    #20277 · created Aug 24, 2021 by sheaf   Pnormal Tbug compiler crash representation polymorphism typechecker
    • CLOSED
    • 3
    • 2
    updated Oct 18, 2021
  • Representation-polymorphism checks for primops check too many arguments
    #20330 · created Sep 03, 2021 by sheaf   Pnormal Tbug program incorrectly rejected representation polymorphism typechecker
    • CLOSED
    • 3
    • 0
    updated Oct 18, 2021
  • Constraint-vs-Type causes a panic
    #20356 · created Sep 10, 2021 by Richard Eisenberg   Pnormal Tbug TypeInType compiler crash typechecker
    • CLOSED
    • 4
    • 1
    updated Oct 22, 2021
  • Newtype over fully applied Levity Polymorphic Type family gives Levity Polymorphism error
    #20363 · created Sep 12, 2021 by Tarmean   Pnormal Tbug representation polymorphism typechecker
    • CLOSED
    • 5
    updated Mar 14, 2022
  • Backpack does not support -ddump-tc-trace
    #20396 · created Sep 20, 2021 by sheaf   Plow Tbug backpack debug information developer experience driver typechecker
    • CLOSED
    • 3
    • 0
    updated Oct 14, 2021
  • Make `eqTypeIO` that sees through type families
    #20408 · created Sep 22, 2021 by Ziyang Liu   Pnormal Tquestion constraint solver plugins typechecker
    • CLOSED
    • 13
    updated Oct 04, 2021
  • Type application in patterns ignores inferredness of type variables
    #20443 · created Sep 29, 2021 by Jakob Brünker   9.4.1   ScopedTypeVariables Tbug TypeApplications typechecker
    • CLOSED
    • 2
    • 1
    updated Oct 19, 2021
  • Panic in pprMatch when "deriving Foldable" is used with -ddump-tc-trace
    #20496 · created Oct 08, 2021 by Artyom Kuznetsov   9.4.1   Phigh compiler crash pretty printing typechecker
    • CLOSED
    • 5
    updated Oct 28, 2021
  • GHC 9.2 rejects certain poly-kinded unlifted newtype instances
    #20527 · created Oct 19, 2021 by sheaf   9.2.1   Pnormal PolyKinds Tbug TypeApplications TypeFamilies UnliftedNewtypes program incorrectly rejected typechecker
    • CLOSED
    • 2
    • 10
    updated Feb 13, 2022
  • Redundant-constraints warning complains about the wrong constraint
    #20602 · created Nov 02, 2021 by Richard Eisenberg   9.4.1   Pnormal Tbug constraint solver error messages typechecker
    • CLOSED
    • 4
    • 0
    updated May 25, 2022
  • ImpredicativeTypes vs. do notation
    #20651 · created Nov 09, 2021 by David Feuer   ImpredicativeTypes typechecker
    • CLOSED
    • 1
    updated Nov 09, 2021
  • decideMonoTyVars should take injectivity into account
    #20668 · created Nov 11, 2021 by Richard Eisenberg   Pnormal Tbug typechecker
    • CLOSED
    • 3
    • 0
    updated Feb 23, 2022
  • [regression] ghc 9.2.1 complains about "Uninferrable type variables" that ghc 9.0.1 can infer fine
    #20675 · created Nov 12, 2021 by JasonGross   Pnormal PolyKinds Ttask documentation typechecker
    • CLOSED
    • 5
    updated Nov 15, 2021
  • Using type-aliases in kind signatures requires DataKinds
    #20873 · created Dec 26, 2021 by Oleg Grenrus   DataKinds Plow Tbug typechecker
    • CLOSED
    • 6
    • 3
    updated Jan 12, 2022
  • Allow Well-Founded Recursion in Data Type Kinds
    #20885 · created Dec 29, 2021 by Andrew Martin   Research needed   1   GADTs Pnormal Tfeature request typechecker
    • CLOSED
    • 5
    updated Jan 05, 2022
  • GHC 9.2 creates an unsafe coercion between a boxed and an unboxed type
    #20894 · created Dec 31, 2021 by sheaf   9.2.2   Coercions Phigh Tbug typechecker
    • CLOSED
    • 6
    updated Feb 09, 2022
  • GHC accepts two names for the same kind variable
    #20916 · created Jan 07, 2022 by Simon Peyton Jones   Pnormal StandaloneKindSignatures Tbug program incorrectly accepted typechecker
    • CLOSED
    • 1
    • 4
    updated Mar 22, 2022
  • Regression in ambiguity checking for partial type signatures in GHC 9.2
    #20921 · created Jan 09, 2022 by sheaf   9.2.2   Phigh Tbug ambiguity check partial type sigs typechecker
    • CLOSED
    • 9
    updated Feb 21, 2022
  • Constructors applied to type variables behave differently starting on GHC 9.2
    #20922 · created Jan 09, 2022 by sheaf   9.2.2   Pnormal Tbug TypeApplications typechecker
    • CLOSED
    • 3
    • 6
    updated Feb 23, 2022
  • Different error with representation-polymorphic binder
    #20929 · created Jan 10, 2022 by Krzysztof Gogolewski   Plow Ttask error messages typechecker
    • CLOSED
    • 3
    updated Feb 03, 2022
  • Inconsistent tidying of implications
    #20932 · created Jan 11, 2022 by Simon Peyton Jones   Phigh Tbug typechecker
    • CLOSED
    • 4
    • 4
    updated Feb 06, 2022
  • matchInstEnv accounts for 50% of typechecker time
    #20933 · created Jan 11, 2022 by Matthew Pickering   Pnormal Tbug compiler perf typechecker
    • CLOSED
    • 2
    • 14
    updated Feb 09, 2022
  • Use ConcreteTv for metavariables that must only be unified with concrete types
    #20972 · created Jan 20, 2022 by sheaf   Pnormal Tbug representation polymorphism typechecker
    • CLOSED
    • 2
    updated Apr 14, 2022
  • GHCi >= 9.2.1 prints type signatures containing type families in an ugly way
    #20974 · created Jan 20, 2022 by Andrzej Rybczak   9.2.2   GHCi Pnormal Tbug pretty printing typechecker
    • CLOSED
    • 3
    • 13
    updated May 20, 2022
  • Unhelpful Kind equality error at the start of file
    #21006 · created Jan 26, 2022 by Jkensik   Pnormal QuantifiedConstraints error messages typechecker
    • CLOSED
    • 1
    • 5
    updated Jan 28, 2022
  • ASSERTION failure when building subcategories
    #21010 · created Jan 26, 2022 by Matthew Pickering   Coercible Plow typechecker
    • CLOSED
    • 4
    • 4
    updated Feb 08, 2022
  • MonoLocalBinds sometimes monomorphises *global* binds
    #21023 · created Jan 30, 2022 by Richard Eisenberg   MonomorphismRestriction Pnormal Tfeature request typechecker
    • CLOSED
    • 2
    • 2
    updated Mar 07, 2022
  • GHC 9.2.1 typechecking regression with RankNTypes and TemplateHaskell
    #21038 · created Feb 03, 2022 by Ryan Scott   9.2.2   Phighest RankNTypes Tbug TemplateHaskell typechecker
    • CLOSED
    • 4
    • 9
    updated Feb 14, 2022
  • Curious kind-checking failure with GHC 9.2.1 and visible dependent quantification
    #21040 · created Feb 03, 2022 by Ryan Scott   PolyKinds typechecker visible dependent quantification
    • CLOSED
    • 2
    updated Feb 04, 2022
  • Inconsistent instantiation of inferred type variables when they don't all come first
    #21088 · created Feb 16, 2022 by sheaf   GHCi Plow Tbug typechecker
    • CLOSED
    • 3
    • 1
    updated Mar 03, 2022
  • Definition of heterogeneous equality rejected unless using a SAKS
    #21126 · created Feb 23, 2022 by sheaf   9.4.1   CUSKs GADTs Pnormal StandaloneKindSignatures Ttask documentation typechecker
    • CLOSED
    • 6
    updated Apr 07, 2022
  • Unfoldings in interface files are sucked in too eagerly
    #21139 · created Feb 25, 2022 by Simon Peyton Jones   Pnormal Tbug typechecker
    • CLOSED
    • 1
    • 1
    updated Feb 26, 2022
  • Record update typing is wrong
    #21158 · created Mar 03, 2022 by Simon Peyton Jones   Plow Tbug typechecker
    • CLOSED
    • 2
    • 4
    updated May 26, 2022
  • (GHC 9.2.2) Impossible happened...
    #21199 · created Mar 08, 2022 by Adam Conner-Sax   9.2.3   Pnormal Tbug backport needed:9.2 typechecker
    • CLOSED
    • 2
    updated Mar 08, 2022
  • GHC doesn't notice some overlapping instances (regression)
    #21208 · created Mar 09, 2022 by Richard Eisenberg   9.2.3   Phigh Tbug program incorrectly accepted regression typechecker
    • CLOSED
    • 16
    • 1
    • 6
    updated Mar 28, 2022
  • Quantified constraint blocks functional dependency
    #21209 · created Mar 09, 2022 by Richard Eisenberg   FunctionalDependencies Plow QuantifiedConstraints Tbug typechecker
    • CLOSED
    • 3
    updated Mar 25, 2022
  • Add syntactic equality relation
    #21239 · created Mar 16, 2022 by sheaf   Pnormal Ttask constraint solver representation polymorphism typechecker
    • CLOSED
    • 9
    • 5
    updated Apr 28, 2022
  • Type-changing record update ignores type families
    #21289 · created Mar 24, 2022 by Richard Eisenberg   Pnormal Tbug TypeFamilies records typechecker
    • CLOSED
    • 2
    • 4
    updated May 26, 2022
  • decideMonoTyVars doesn't handle coercion variables in "candidates"
    #21404 · created Apr 19, 2022 by sheaf   Pnormal Tquestion defaulting representation polymorphism typechecker
    • CLOSED
    • 4
    • 3
    updated Apr 27, 2022
  • Assertion in reportWanteds is too strict
    #21405 · created Apr 20, 2022 by sheaf   Pnormal Tbug error messages typechecker
    • CLOSED
    • 3
    • 2
    updated Apr 27, 2022
  • GHC panic
    #21479 · created May 03, 2022 by Icelandjack   9.2.3   Pnormal Tbug compiler crash typechecker
    • CLOSED
    • 2
    • 5
    updated May 19, 2022
  • TypeInType is marked as deprecated but has no warning on usage.
    #21500 · created May 04, 2022 by Trevis Elser   Pnormal Tbug typechecker
    • CLOSED
    • 1
    updated May 05, 2022
  • ghc.exe: panic! (the 'impossible' happened) using a data family in GHC 9.0.1
    #21581 · created May 16, 2022 by UltimateDude101   No skolem info Pnormal Tbug typechecker
    • CLOSED
    • 2
    updated May 18, 2022
  • Prev
  • 1
  • …
  • 7
  • 8
  • 9
  • 10
  • 11
  • Next