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,390
    • Issues 4,390
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 375
    • Merge Requests 375
  • 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 42
  • Closed 136
  • All 178
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • Performance of type family consistency checks
    #19703 · opened Apr 14, 2021 by Pepe Iborra   Pnormal Tbug TypeFamilies compiler perf
    • 4
    updated Apr 15, 2021
  • :info no longer shows instances of poly-kinded data families in GHC 9.2+
    #19688 · opened Apr 11, 2021 by Ryan Scott   9.2.1   GHCi Phigh Tbug TypeFamilies backport needed:9.2
    • 3
    • 8
    updated Apr 14, 2021
  • Implement type family reduction via term-level functions
    #19634 · opened Apr 02, 2021 by Rinat Striungis   9.4.1   Tfeature request TypeFamilies typechecker
    • 1
    • 2
    updated Apr 09, 2021
  • Improvement for closed type families based on equation apartness
    #19568 · opened 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 · opened 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 · opened Jan 29, 2021 by Sorokin-Anton   Pnormal Tbug TypeFamilies
    • 2
    updated Jan 29, 2021
  • Recursive type families optimisation
    #19238 · opened Jan 19, 2021 by Sylvain Henry   Coercions Tfeature request TypeFamilies compiler perf
    • 1
    updated Mar 12, 2021
  • Validity checker should reject polytypes passed to type functions
    #18762 · opened Sep 29, 2020 by Richard Eisenberg   ImpredicativeTypes Pnormal Tbug TypeFamilies program incorrectly accepted
    • 9
    updated Dec 11, 2020
  • "equirecursive" type family leads to stack overflow in ghci
    #18456 · opened 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 · opened May 06, 2020 by Joe Hermaszewski   Pnormal Tbug TemplateHaskell TypeFamilies
    • 0
    updated May 09, 2020
  • 8.10: Overlapping instances claimed where there are none (or crash in 8.8)
    #18129 · opened 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 · opened 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 · opened Feb 07, 2020 by Sebastian Graf   Pnormal QuantifiedConstraints Tbug TypeFamilies
    • 6
    updated Feb 20, 2020
  • First-class apartness checking in type families
    #17585 · opened Dec 17, 2019 by sheaf   Pnormal Tfeature request TypeFamilies
    • 7
    updated Jun 09, 2020
  • Allow data family instances with type family applications in the data family's result kind
    #17503 · opened Nov 21, 2019 by Sebastian Graf   Pnormal Tfeature request TypeFamilies UnliftedNewtypes
    • 5
    updated Feb 18, 2020
  • Kind-checking associated types
    #17327 · opened Oct 09, 2019 by mniip   Tbug TypeFamilies TypeInType typechecker
    • 2
    updated Feb 18, 2020
  • Data family instances aren't eta-reduced correctly
    #17305 · opened Oct 04, 2019 by Ryan Scott   8.10.2   GADTs TemplateHaskell TypeFamilies compiler crash
    • 14
    updated Dec 14, 2020
  • Backpack and instance defaults
    #17224 · opened Sep 20, 2019 by John Ericson   DefaultSignatures Tfeature request TypeFamilies backpack
    • 1
    updated Oct 18, 2020
  • Another loop with injective type families
    #17186 · opened Sep 12, 2019 by Richard Eisenberg   Tbug TypeFamilies compiler crash injective type families typechecker
    • 0
    updated Nov 10, 2020
  • Order of declarations affects which programs are accepted (type families and existentials)
    #16693 · opened May 24, 2019 by Iavor S. Diatchki   ExistentialQuantification Tbug TypeFamilies program incorrectly rejected typechecker
    • 5
    updated Jan 23, 2020
  • Prev
  • 1
  • 2
  • 3
  • Next