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,836
    • Issues 4,836
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 459
    • Merge requests 459
  • 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 29
  • Closed 61
  • All 90
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • Confusing GADTSyntax newtype error with invisible kinds
    #21447 · created Apr 28, 2022 by sheaf   9.6.1   GADTs Pnormal Tbug diagnostic quality error messages newcomer typechecker
    • 1
    updated May 03, 2022
  • GADT accepted without -XGADTs
    #21102 · created Feb 18, 2022 by Richard Eisenberg   9.4.1   GADTs Pnormal Tbug documentation
    • 8
    updated Mar 04, 2022
  • Unexpected warning "redundant constraint" when a Constraint type family is used to limit GADT patterns
    #20896 · created Jan 02, 2022 by Evgeny Poberezkin   GADTs Pnormal Tbug pattern match warnings typechecker
    • 11
    updated Jan 05, 2022
  • The GADTs extension implies ExistentialQuantification
    #20865 · created Dec 24, 2021 by Mario   ExistentialQuantification GADTs Plow documentation
    • 3
    • 5
    updated Jan 03, 2022
  • Skolems can escape in arrow notation, resulting in Core Lint errors
    #20470 · created Oct 03, 2021 by Alexis King   Arrows GADTs Pnormal Tbug core lint typechecker
    • 3
    updated Feb 24, 2022
  • Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors
    #20469 · created Oct 03, 2021 by Alexis King   Arrows GADTs Pnormal Tbug core lint typechecker
    • 5
    updated Mar 10, 2022
  • Untouchable variable in unused let binding
    #18531 · created Aug 04, 2020 by Matt Noonan   GADTs Pnormal Tbug error messages program incorrectly rejected
    • 4
    updated Sep 30, 2020
  • Allow nested foralls and contexts in prefix GADT constructors
    #18389 · created Jun 24, 2020 by Ryan Scott   GADTs Tfeature request ghc proposal
    • 24
    updated Apr 02, 2022
  • GHC does not honor unrestricted function types for GADTs in TH splices
    #18378 · created Jun 23, 2020 by Ryan Scott   GADTs LinearTypes Tbug TemplateHaskell
    • 1
    • 5
    updated Aug 02, 2021
  • Type synonym lost with GADTs
    #18196 · created May 17, 2020 by Identical Snowflake   GADTs Pnormal Tbug typechecker
    • 1
    • 2
    updated Oct 17, 2021
  • 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
  • GHCi infers too-general type when pattern-matching on existential GADT
    #18007 · created Apr 02, 2020 by infinity0   GADTs GHCi Pnormal Tbug typechecker
    • 1
    updated Apr 08, 2020
  • Data family instances aren't eta-reduced correctly
    #17305 · created Oct 04, 2019 by Ryan Scott   8.10.2   GADTs TemplateHaskell TypeFamilies compiler crash
    • 14
    updated Dec 14, 2020
  • Let tagToEnum# work with GADTs
    #16989 · created Jul 25, 2019 by David Feuer   GADTs Pnormal Tfeature request runtime perf
    • 2
    updated Jul 21, 2020
  • Relax local equality check
    #16684 · created May 22, 2019 by Iavor S. Diatchki   GADTs TypeFamilies typechecker
    • 3
    updated May 23, 2019
  • Exhaustivity checking GADT with free variables
    #16278 · created Feb 02, 2019 by Andrew Martin   5   GADTs Pnormal Tbug Trac import TypeFamilies pattern match warnings
    • 7
    updated Jun 17, 2020
  • Valid hole fits and GADT type variable names
    #15677 · created Sep 26, 2018 by Ryan Scott   ⊥   5   GADTs Pnormal Tbug Trac import error messages typed holes valid hole fits
    • 6
    updated Sep 07, 2021
  • TypeInType: Type error conditioned on ordering of GADT and type family definitions
    #15561 · created Aug 23, 2018 by Bj0rn   8.6.1   5   GADTs Pnormal Tbug Trac import TypeFamilies TypeInType
    • 3
    updated Mar 05, 2022
  • Inconsistency in acceptance of equality constraints in different forms
    #12823 · created Nov 11, 2016 by David Feuer   5   GADTs Pnormal Tfeature request Trac import typechecker
    • 4
    updated Jul 07, 2019
  • Ambiguous types in pattern synonym not determined by functional dependencies
    #11655 · created Feb 27, 2016 by Icelandjack   5   GADTs Pnormal Tbug Trac import typechecker
    • 1
    updated Jul 07, 2019
  • Prev
  • 1
  • 2
  • Next