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,393
    • Issues 4,393
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 378
    • Merge Requests 378
  • 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 272
  • Closed 988
  • All 1,260
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • "No skolem info" panic (GHC 8.6 only)
    #15629 · opened Sep 11, 2018 by Ryan Scott   8.8.1   5   Pnormal Tbug Trac import TypeInType compiler crash typechecker
    • CLOSED
    • 9
    updated Jul 07, 2019
  • defer-type-errors and equality constraints
    #15624 · opened Sep 10, 2018 by Krzysztof Gogolewski   8.8.1   3   Plow Tbug Trac import typechecker
    • CLOSED
    • 1
    updated Jul 07, 2019
  • Error message involving type families points to wrong location
    #15621 · opened Sep 08, 2018 by Ryan Scott   9.2.1   5   Pnormal Tbug Trac import TypeFamilies error messages typechecker
    • 11
    updated Jan 25, 2021
  • When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!
    #15596 · opened Sep 03, 2018 by kindaro   9.2.1   5   Pnormal Tfeature request Trac import TypeApplications error messages typechecker
    • 3
    updated Jan 25, 2021
  • TypeApplications-related infinite loop (GHC 8.6+ only)
    #15577 · opened Aug 29, 2018 by Ryan Scott   8.8.2   7   Phigh Tbug Trac import TypeApplications TypeInType compiler perf typechecker
    • CLOSED
    • 14
    updated Aug 30, 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
  • Core Lint error with EmptyCase
    #15549 · opened Aug 21, 2018 by Ryan Scott   8.8.1   5   Pnormal Tbug Trac import TypeFamilies TypeInType compiler crash typechecker
    • CLOSED
    • 3
    • 9
    updated Jul 07, 2019
  • Bogus "No instance" error when type families appear in kinds
    #15515 · opened Aug 13, 2018 by Ryan Scott   8.8.1   5   Pnormal Tbug Trac import TypeFamilies TypeInType error messages typechecker
    • CLOSED
    • 7
    updated Jul 07, 2019
  • Assertion failures in tests T7224, T9201, LevPolyBounded
    #15505 · opened Aug 11, 2018 by Ömer Sinan Ağacan   8.6.1   5   Pnormal Tbug Trac import typechecker
    • CLOSED
    • 4
    updated Jul 07, 2019
  • GHC 8.6+ loops infinitely on an UndecidableInstances error message
    #15473 · opened Aug 03, 2018 by Ryan Scott   8.6.1   10   Phighest Tbug Trac import compiler perf typechecker
    • CLOSED
    • 3
    updated Jul 07, 2019
  • GHC HEAD type inference regression post-"Remove decideKindGeneralisationPlan"
    #15472 · opened Aug 03, 2018 by Ryan Scott   8.8.1   10   Phighest Tbug Trac import TypeInType typechecker
    • CLOSED
    • 11
    updated Jul 07, 2019
  • GHC 8.6.1 regression (buildKindCoercion)
    #15419 · opened Jul 19, 2018 by Ryan Scott   8.6.1   10   Phighest Tbug Trac import TypeInType compiler crash typechecker
    • CLOSED
    • 1
    • 5
    updated Jul 07, 2019
  • Higher rank types in pattern synonyms
    #15416 · opened Jul 19, 2018 by mniip   9.2.1   5   Pnormal PatternSynonyms Tbug Trac import typechecker
    • 4
    updated Jan 23, 2021
  • Infinite typechecker loop in GHC 8.6
    #15380 · opened Jul 14, 2018 by Ryan Scott   8.6.1   7   Phigh Tbug Trac import TypeFamilies TypeInType compiler perf typechecker
    • CLOSED
    • 7
    updated Jul 07, 2019
  • Typed hole panic on GHC 8.6 (tcTyVarDetails)
    #15370 · opened Jul 12, 2018 by Ryan Scott   8.6.1   7   Phigh Tbug Trac import TypeInType compiler crash typechecker typed holes
    • CLOSED
    • 1
    • 15
    updated Jul 07, 2019
  • Error message displays redundant equality constraint
    #15361 · opened Jul 11, 2018 by Ryan Scott   8.6.1   5   Pnormal Tbug Trac import TypeInType error messages typechecker
    • CLOSED
    • 11
    updated Jul 07, 2019
  • False kind errors with implicitly bound kinds in GHC 8.6
    #15352 · opened Jul 08, 2018 by aaronvargo   8.6.1   5   Pnormal Tbug Trac import typechecker
    • CLOSED
    • 5
    updated Jul 07, 2019
  • QuantifiedConstraints ignore FunctionalDependencies
    #15351 · opened Jul 07, 2018 by aaronvargo   5   FunctionalDependencies Pnormal QuantifiedConstraints Tbug Trac import typechecker
    • 14
    updated Dec 03, 2020
  • QuantifiedConstraints: Implication constraints with type families don't work
    #15347 · opened Jul 05, 2018 by aaronvargo   5   Pnormal QuantifiedConstraints Tbug Trac import typechecker
    • 21
    updated Sep 18, 2019
  • Core Lint error in GHC 8.6.1: From-type of Cast differs from type of enclosed expression
    #15346 · opened Jul 05, 2018 by Ryan Scott   8.6.1   5   Pnormal Tbug Trac import TypeInType compiler crash typechecker
    • CLOSED
    • 1
    • 12
    updated Jul 07, 2019
  • Prev
  • 1
  • …
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • …
  • 63
  • Next