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,826
    • Issues 4,826
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 440
    • Merge requests 440
  • 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 27
  • Closed 37
  • All 64
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • Confusion around visible type application in pattern synonym pattern
    #21501 · created May 04, 2022 by Richard Eisenberg   9.6.1   PatternSynonyms Tbug TypeApplications Typeable typechecker
    • 1
    updated May 06, 2022
  • Typeable evidence is always CAFfy
    #21183 · created Mar 06, 2022 by Ben Gamari   CAFs Pnormal Tbug Typeable runtime perf
    • 0
    updated Mar 08, 2022
  • Add `typeToName` bike shedding
    #20613 · created Nov 03, 2021 by parsonsmatt   Pnormal Tfeature request TemplateHaskell Typeable
    • 1
    • 16
    updated Nov 29, 2021
  • TyCon should include fixity, etc.
    #20280 · created Aug 24, 2021 by David Feuer   Plow Tfeature request Typeable core libraries
    • 6
    updated Aug 26, 2021
  • Linear types: investigate the multiplicity argument of FUN
    #20164 · created Jul 26, 2021 by Krzysztof Gogolewski   LinearTypes Ttask Typeable
    • 1
    updated Dec 08, 2021
  • Unused instances retained
    #19991 · created Jun 15, 2021 by David Feuer   Plow Tfeature request Typeable constraint solver simplifier
    • 5
    updated Jun 22, 2021
  • Add 'pattern TypeRep :: () => Typeable a => TypeRep a' to Type.Reflection
    #19691 · created Apr 12, 2021 by Icelandjack   Tfeature request Typeable core libraries
    • 1
    • 6
    updated Jul 26, 2021
  • Why do we have both typeRep# and typeRep?
    #17569 · created Dec 12, 2019 by Richard Eisenberg   FunctionalDependencies Ttask Typeable
    • 5
    updated May 19, 2020
  • Trouble resolving Typeable 'LiftedRep
    #16627 · created May 03, 2019 by David Feuer   Tbug Typeable typechecker
    • 11
    updated Jun 07, 2021
  • TypeRep fingerprints for arrow types are problematic
    #16626 · created May 03, 2019 by David Feuer   Tfeature request Typeable
    • 3
    updated May 22, 2019
  • `KnownNat` does not imply `Typeable` any more when used with plugin
    #15322 · created Jun 29, 2018 by Dmitrii Kovanikov   5   Pnormal Tbug Trac import Typeable typechecker plugins
    • 19
    updated Jan 23, 2020
  • Deriving Typeable for enumerations seems expensive
    #14663 · created Jan 12, 2018 by niteria   3   Plow Tbug Trac import Typeable
    • 1
    • 4
    updated May 11, 2020
  • Review and improve the Typeable API
    #14582 · created Dec 14, 2017 by Simon Peyton Jones   5   Pnormal Tbug Trac import Typeable
    • 2
    updated Jul 07, 2019
  • Clean up tyConTYPE
    #14480 · created Nov 17, 2017 by David Feuer   5   Pnormal Ttask Trac import Typeable core libraries
    • 0
    updated Jul 07, 2019
  • Add a test ensuring that TypeReps can be stored in compact regions
    #14401 · created Oct 29, 2017 by David Feuer   5   Pnormal Ttask Trac import Typeable testsuite
    • 5
    updated Jan 23, 2020
  • Show instance for TypeReps is a bit broken
    #14341 · created Oct 11, 2017 by David Feuer   8.6.1   5   Pnormal Tbug Trac import Typeable core libraries
    • 16
    updated Jan 17, 2020
  • typeRepKind can perform substantial amounts of allocation
    #14337 · created Oct 09, 2017 by David Feuer   5   Pnormal Tbug Trac import Typeable core libraries runtime perf
    • 5
    updated Jan 23, 2020
  • Type-indexed type fingerprints
    #14255 · created Sep 20, 2017 by David Feuer   5   Pnormal Tfeature request Trac import Typeable core libraries
    • 5
    updated Jul 07, 2019
  • Typeable imposes seemingly redundant constraints on polykinded instances
    #14190 · created Sep 07, 2017 by David Feuer   5   Pnormal Tbug Trac import Typeable typechecker
    • 19
    updated Jun 07, 2021
  • Support Typeable instances for types with coercions
    #13933 · created Jul 07, 2017 by Richard Eisenberg   5   Pnormal Tbug Trac import TypeInType Typeable
    • 2
    updated Jul 07, 2019
  • Prev
  • 1
  • 2
  • Next