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,394
    • Issues 4,394
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 379
    • Merge Requests 379
  • 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 273
  • Closed 989
  • All 1,262
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • QuantifiedConstraints: Can't be RHS of type family instances
    #14968 · opened Mar 24, 2018 by josef   5   Pnormal Tbug Trac import typechecker
    • 1
    • 11
    updated Jul 07, 2019
  • Exhaustivity check should suggest when COMPLETE could be helpful
    #15014 · opened Apr 08, 2018 by Edward Z. Yang   8.4.3   5   Pnormal PatternSynonyms Tbug Trac import error messages pattern match warnings typechecker
    • 0
    updated Jul 07, 2019
  • Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter
    #15310 · opened Jun 25, 2018 by cedricshock   3   Plow Tfeature request Trac import generics typechecker
    • 3
    updated Jul 07, 2019
  • Reduce type families in equations' RHS when testing equation compatibility
    #15557 · opened Aug 22, 2018 by mniip   8.6.1   5   Pnormal Tfeature request Trac import TypeFamilies typechecker
    • 7
    updated Jul 07, 2019
  • Surprising failure combining QuantifiedConstraints with Coercible
    #15639 · opened Sep 13, 2018 by David Feuer   8.6.1   5   Pnormal Tbug Trac import typechecker
    • 10
    updated Jul 07, 2019
  • More liberally kinded coercions for newtypes
    #15707 · opened Oct 05, 2018 by mniip   8.6.1   5   Pnormal Tfeature request Trac import roles typechecker
    • 5
    updated Jul 07, 2019
  • Cross-module SPECIALZE pragmas aren't typechecked in -O0
    #15708 · opened Oct 05, 2018 by regnat   5   Pnormal Tbug Trac import typechecker
    • 2
    updated Jul 07, 2019
  • Adding extra quantified constraints leads to resolution failure
    #15989 · opened Dec 02, 2018 by eror   8.6.3   5   Pnormal Tbug Trac import typechecker
    • 7
    updated Jul 07, 2019
  • -Wredundant-constraints: False positive
    #16154 · opened Jan 09, 2019 by Fumiaki Kinoshita   5   Pnormal Tbug Trac import error messages typechecker
    • 7
    updated Jul 07, 2019
  • Cannot deduce constraint from itself with poly-kinded type family
    #16374 · opened Mar 01, 2019 by roland   5   Pnormal Tbug Trac import error messages typechecker
    • 2
    updated Jul 07, 2019
  • GHC suggests that infix operators might have the wrong number of arguments
    #16786 · opened Jun 08, 2019 by Chris Smith   ⊥   3   Plow Ttask error messages typechecker
    • 1
    updated Jul 07, 2019
  • Multiple occurrences of the same polykinded type don't unify
    #16675 · opened May 20, 2019 by Christopher Rodrigues   Tquestion documentation typechecker
    • 11
    updated May 31, 2019
  • Relax local equality check
    #16684 · opened May 22, 2019 by Iavor S. Diatchki   GADTs TypeFamilies typechecker
    • 3
    updated May 23, 2019
  • Prev
  • 1
  • …
  • 10
  • 11
  • 12
  • 13
  • 14
  • Next