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,838
    • Issues 4,838
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 452
    • Merge requests 452
  • 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 325
  • Closed 1,052
  • All 1,377
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • IncoherentInstances are too restricted
    #9432 · created Aug 11, 2014 by danilo2   7   Phigh Tfeature request Trac import typechecker
    • 8
    updated Jul 07, 2019
  • More informative error messages when closed type families fail to simplify
    #9376 · created Jul 29, 2014 by MikeIzbicki   5   Pnormal Tbug Tfeature request Trac import typechecker
    • 7
    updated Jul 07, 2019
  • Implement "instance chains"
    #9334 · created Jul 19, 2014 by Iavor S. Diatchki   5   Pnormal Tfeature request Trac import typechecker
    • 19
    updated Jul 07, 2019
  • "overlapping instances" through FunctionalDependencies
    #9210 · created Jun 16, 2014 by rwbarton   5   FunctionalDependencies Pnormal Tbug Trac import typechecker
    • 11
    updated Jun 30, 2020
  • print and/or apply constraints when showing info for typed holes
    #9091 · created May 08, 2014 by Andres Löh   5   Pnormal Tfeature request Trac import typechecker
    • 10
    updated Jul 07, 2019
  • Remove unnecessary constraints from MonadComprehensions and ParallelListComp
    #8914 · created Mar 19, 2014 by Icelandjack   5   Pnormal Tfeature request Trac import typechecker
    • 5
    updated Jul 07, 2019
  • ImpredicativeTypes type checking fails depending on syntax of arguments
    #8808 · created Feb 20, 2014 by guest   5   ImpredicativeTypes Pnormal Tbug Trac import typechecker
    • 2
    updated Sep 24, 2020
  • Add (->) representation and the Invariant class to GHC.Generics
    #8516 · created Nov 09, 2013 by nfrisby   3   Plow Tfeature request Trac import typechecker
    • 14
    updated Jul 07, 2019
  • A combination of type-level comparison and subtraction does not work for 0
    #8447 · created Oct 15, 2013 by nushio   3   Plow Tbug Trac import typechecker
    • 4
    updated Jul 07, 2019
  • forall on non-* types
    #8388 · created Sep 30, 2013 by Krzysztof Gogolewski   5   Pnormal Tbug Trac import typechecker
    • 3
    updated Sep 15, 2021
  • TypeFamilies painfully slow
    #8095 · created Jul 27, 2013 by MikeIzbicki   7   Coercions Phigh Tbug Trac import compiler perf typechecker
    • 2
    • 3
    • 102
    updated Mar 30, 2022
  • Compilatio​n errors break the complexity encapsulat​ion on DSLs, impairs success in industry
    #7870 · created Apr 27, 2013 by agocorona   5   Pnormal Tfeature request Trac import typechecker
    • 8
    updated Jul 07, 2019
  • Incorrect checking of let-bindings in recursive do
    #7842 · created Apr 17, 2013 by Iavor S. Diatchki   5   Pnormal RecursiveDo Tbug Trac import typechecker
    • 3
    updated Jul 07, 2019
  • Suggested type signature causes a type error (even though it appears correct)
    #6065 · created Apr 30, 2012 by tvynr   5   Pnormal Tbug Trac import typechecker
    • 8
    updated Jul 07, 2019
  • Allow defining kinds alone, without a datatype
    #6024 · created Apr 19, 2012 by dreixel   5   Pnormal Tfeature request Trac import ghc proposal typechecker
    • 1
    • 16
    updated Mar 08, 2022
  • Missing improvement for fun. deps.
    #4894 · created Jan 17, 2011 by Iavor S. Diatchki   5   Pnormal Tbug Tfeature request Trac import typechecker
    • 11
    updated Jul 07, 2019
  • Confusing type error message
    #1928 · created Nov 25, 2007 by josef   3   Plow Tbug Trac import diagnostic quality error messages typechecker
    • 5
    updated Mar 07, 2022
  • Type checker does not use functional dependency to avoid ambiguity
    #1614 · created Aug 14, 2007 by guest   5   Pnormal Tbug Trac import typechecker
    • 11
    updated Jul 07, 2019
  • Provide way to show the origin of a constraint
    #1451 · created Jun 22, 2007 by iampure@gmail.com   5   Pnormal Tfeature request Trac import typechecker
    • 5
    updated Jul 07, 2019
  • Problem with GADTs and explicit type signatures
    #1158 · created Feb 20, 2007 by guest   0   GADTs Plow Tbug Trac import typechecker
    • 5
    updated Jul 07, 2019
  • Prev
  • 1
  • …
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • Next