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,844
    • Issues 4,844
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 453
    • Merge requests 453
  • 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 49
  • Closed 151
  • All 200
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • GHC 9.4 panic on a representation-polymorphic newtype instance
    #21544 · created May 10, 2022 by sheaf   9.4.1   Phigh Tbug TypeFamilies UnliftedNewtypes compiler crash representation polymorphism typechecker
    • 14
    updated May 27, 2022
  • Quantified constraint should be accepted in RHS of type family equation
    #21210 · created Mar 09, 2022 by Richard Eisenberg   Pnormal QuantifiedConstraints Tbug TypeFamilies program incorrectly rejected typechecker
    • 1
    updated Mar 15, 2022
  • Warn when an equality constraint comes into scope without -XMonoLocalBinds
    #20737 · created Nov 24, 2021 by Richard Eisenberg   Pnormal RankNTypes Ttask TypeFamilies typechecker
    • 2
    updated Nov 27, 2021
  • Regression in superclass checking of instances
    #20666 · created Nov 11, 2021 by Xia Li-yao   9.2.4   Phighest Tbug TypeFamilies backport needed:9.2
    • 1
    • 1
    • 18
    updated May 25, 2022
  • Improve consistency check for type families
    #20479 · created Oct 05, 2021 by Krzysztof Gogolewski   Plow Ttask TypeFamilies
    • 0
    updated Oct 05, 2021
  • Coercion prevents type family equation from applying
    #20172 · created Jul 27, 2021 by Richard Eisenberg   TypeFamilies TypeInType
    • 0
    updated Jul 27, 2021
  • Non-terminating substitution with derived constraints
    #19974 · created Jun 10, 2021 by sheaf   Pnormal Tbug TypeFamilies constraint solver typechecker
    • 2
    updated Jun 30, 2021
  • No orphan warning for data instances
    #19773 · created Apr 30, 2021 by Oleg Grenrus   Pnormal Tbug TypeFamilies error messages newcomer program incorrectly accepted
    • 4
    updated May 04, 2021
  • Performance of type family consistency checks
    #19703 · created Apr 14, 2021 by Pepe Iborra   Pnormal Tbug TypeFamilies compiler perf
    • 1
    • 7
    updated Feb 04, 2022
  • Implement type family reduction via term-level functions
    #19634 · created Apr 02, 2021 by Rinat Striungis   Tfeature request TypeFamilies typechecker
    • 1
    • 2
    updated Feb 23, 2022
  • Improvement for closed type families based on equation apartness
    #19568 · created Mar 20, 2021 by Alexis King   Plow Tfeature request TypeFamilies injective type families
    • 5
    updated Apr 08, 2021
  • Type equality constraints can prevent sharing with GHC versions above 7.1
    #19479 · created Mar 02, 2021 by Philipp   Tfeature request TypeFamilies runtime perf
    • 5
    updated Apr 06, 2021
  • type family creates a type synonym, which should not be created
    #19277 · created Jan 29, 2021 by Sorokin-Anton   Pnormal Tbug TypeFamilies
    • 2
    updated Jan 29, 2021
  • Recursive type families optimisation
    #19238 · created Jan 19, 2021 by Sylvain Henry   Coercions Tfeature request TypeFamilies compiler perf
    • 1
    updated Oct 06, 2021
  • Validity checker should reject polytypes passed to type functions
    #18762 · created Sep 29, 2020 by Richard Eisenberg   ImpredicativeTypes Pnormal Tbug TypeFamilies program incorrectly accepted
    • 9
    updated Oct 17, 2021
  • "equirecursive" type family leads to stack overflow in ghci
    #18456 · created Jul 15, 2020 by Xia Li-yao   GHCi Pnormal Tbug TypeFamilies compiler crash typechecker
    • 2
    updated Jul 17, 2020
  • reifyInstances doesn't work with closed type families
    #18153 · created May 06, 2020 by Ellie Hermaszewska   Pnormal Tbug TemplateHaskell TypeFamilies
    • 0
    updated May 09, 2020
  • 8.10: Overlapping instances claimed where there are none (or crash in 8.8)
    #18129 · created May 02, 2020 by Serge Kosyrev   GADTs OverlappingInstances Pnormal Tbug TypeFamilies UndecidableSuperClasses UndecideableInstances
    • 1
    • 3
    updated Jul 01, 2020
  • Unused type variable error misidentifies the name of the type variable
    #17838 · created Feb 15, 2020 by Ryan Scott   PolyKinds Tbug TypeFamilies error messages
    • 5
    updated Mar 31, 2020
  • QuantifiedConstraints don't work with equality constraints on type families
    #17802 · created Feb 07, 2020 by Sebastian Graf   Pnormal QuantifiedConstraints Tbug TypeFamilies
    • 6
    updated Feb 20, 2020
  • Prev
  • 1
  • 2
  • 3
  • Next