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,385
    • Issues 4,385
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 370
    • Merge Requests 370
  • 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 986
  • All 1,259
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • More lazy orphan module loading
    #9717 · opened Oct 24, 2014 by Edward Z. Yang   8.0.1   5   Pnormal Tbug Trac import backpack typechecker
    • 5
    updated Mar 15, 2021
  • Building an empty module with profiling requires profiling libraries for integer-gmp
    #8572 · opened Nov 28, 2013 by parcs   8.0.1   5   Pnormal Tbug Trac import integer-gmp typechecker
    • 4
    updated Jul 07, 2019
  • type nats solver is too weak!
    #8422 · opened Oct 08, 2013 by Carter Schonwald   8.0.1   5   Pnormal Tbug Trac import type literals typechecker
    • 7
    updated Jul 07, 2019
  • Error on pattern matching of an existential whose context includes a type function
    #7849 · opened Apr 20, 2013 by guest   8.0.1   5   Pnormal Tbug Trac import typechecker
    • 4
    updated Jul 07, 2019
  • RebindableSyntax and Arrow
    #7828 · opened Apr 10, 2013 by AlessandroVermeulen   8.0.1   5   Arrows Pnormal Tbug Trac import typechecker
    • 60
    updated Sep 22, 2020
  • Location in -fdefer-type-errors
    #7668 · opened Feb 06, 2013 by Krzysztof Gogolewski   8.0.1   5   Pnormal Tbug Trac import deferred type errors typechecker
    • 6
    updated Sep 25, 2020
  • Bug with PolyKinds, type synonyms & GADTs
    #7503 · opened Dec 16, 2012 by Ashley Yakeley   8.0.1   5   Pnormal Tbug Trac import TypeInType typechecker
    • 8
    updated Jul 07, 2019
  • ghc-7 assumes incoherent instances without requiring language `IncoherentInstances`
    #7296 · opened Oct 04, 2012 by C Maeder   8.0.1   5   Pnormal Tbug Trac import typechecker
    • 10
    updated Jul 07, 2019
  • Missing type checks for arrow command combinators
    #5267 · opened Jun 22, 2011 by peteg   8.0.1   3   Arrows Plow Tbug Trac import broken test typechecker
    • 22
    updated Jul 07, 2019
  • arrow notation: incorrect scope of existential dictionaries
    #344 · opened Apr 07, 2005 by nobody   8.0.1   0   Arrows Plow Tbug Trac import typechecker
    • 23
    updated Mar 12, 2021
  • Allow `State# s` argument/result types in `ccall` FFI imports
    #9352 · opened Jul 23, 2014 by Herbert Valerio Riedel   8.0.1   5   Pnormal Tfeature request Trac import typechecker
    • 12
    updated Jul 07, 2019
  • Allow compatible type synonyms to be the return type of a GADT data constructor.
    #7494 · opened Dec 10, 2012 by topi   8.0.1   5   GADTs Pnormal Tfeature request Trac import typechecker
    • 6
    updated Jul 07, 2019
  • Allow type signature in export list
    #7140 · opened Aug 13, 2012 by Dan Burton   8.0.1   5   Pnormal Tfeature request Trac import typechecker
    • 4
    updated Jul 07, 2019
  • Allow defining kinds alone, without a datatype
    #6024 · opened Apr 19, 2012 by dreixel   8.0.1   5   Pnormal Tfeature request Trac import typechecker
    • 1
    • 11
    updated Jul 07, 2019
  • Holes with other constraints
    #5910 · opened Mar 02, 2012 by xnyhps   8.0.1   5   Pnormal Tfeature request Trac import error messages typechecker typed holes
    • 29
    updated Jul 07, 2019
  • "guarded instances": instance selection can add extra parameters to the class
    #5590 · opened Oct 28, 2011 by nfrisby   8.0.1   5   Pnormal Tfeature request Trac import typechecker
    • 7
    updated Jul 07, 2019
  • Relax restrictions on type family instance overlap
    #4259 · opened Aug 16, 2010 by lilac   8.0.1   5   Pnormal Tfeature request Trac import injective type families typechecker
    • 32
    updated Jul 07, 2019
  • Please consider adding support for local type synonyms
    #4020 · opened Apr 27, 2010 by nr@eecs.harvard.edu   8.0.1   3   Plow Tfeature request Trac import typechecker
    • 2
    • 17
    updated Jul 07, 2019
  • Add a total order on type constructors
    #1894 · opened Nov 14, 2007 by guest   8.0.1   0   Plow Tfeature request Trac import typechecker
    • 16
    updated Jul 07, 2019
  • Typed hole subtitution search fails in the REPL
    #14858 · opened Feb 26, 2018 by paf31   8.4.1   5   Pnormal Tbug Trac import typechecker typed holes
    • 1
    updated Jul 07, 2019
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 14
  • Next