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 377
    • Merge Requests 377
  • 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 19
  • Closed 33
  • All 52
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • GHC does not rewrite in FunTy
    #19677 · opened Apr 09, 2021 by Richard Eisenberg   Pnormal Tbug TypeInType constraint solver levity polymorphism program incorrectly rejected typechecker
    • 0
    updated Apr 12, 2021
  • Unbound record/field names in Template Haskell Quotes
    #19312 · opened Feb 03, 2021 by Adam Gundry   Pnormal Tbug TemplateHaskell program incorrectly rejected records
    • 4
    updated Apr 07, 2021
  • Core lint error (with flags: -O2 -fobject-code -fstatic-argument-transformation -dcore-lint)
    #19285 · opened Jan 30, 2021 by Icelandjack   Tbug compiler crash core lint program incorrectly rejected static argument transformation
    • 4
    updated Mar 16, 2021
  • False positives from -Wincomplete-record-updates
    #19084 · opened Dec 18, 2020 by Joseph C. Sible   Pnormal Tbug error messages pattern match warnings program incorrectly rejected
    • 3
    updated Jan 12, 2021
  • Types with different forall placements don't unify with QL ImpredicativeTypes
    #18759 · opened Sep 28, 2020 by Andrzej Rybczak   FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
    • 53
    updated Dec 31, 2020
  • RebindableSyntax cannot defer-out-of-scope-variables
    #18636 · opened Sep 01, 2020 by Richard Eisenberg   Pnormal RebindableSyntax Tbug deferred type errors program incorrectly rejected
    • 1
    • 0
    updated Feb 16, 2021
  • Untouchable variable in unused let binding
    #18531 · opened Aug 04, 2020 by Matt Noonan   GADTs Pnormal Tbug error messages program incorrectly rejected
    • 4
    updated Sep 30, 2020
  • GHC fails to infer type with FlexibleContexts
    #18529 · opened Aug 03, 2020 by Richard Eisenberg   Pnormal Tbug program incorrectly rejected typechecker
    • 0
    updated Sep 30, 2020
  • TemplateHaskellQuotes and RebindableSyntax don't play nicely
    #18102 · opened Apr 26, 2020 by Richard Eisenberg   Pnormal RebindableSyntax Tbug TemplateHaskell program incorrectly rejected typed TemplateHaskell
    • 1
    • 14
    updated Feb 05, 2021
  • ApplicativeDo requires Monad constraint in recursive definition
    #17971 · opened Mar 28, 2020 by Manuel Bärenz   ApplicativeDo Pnormal Tbug program incorrectly rejected
    • 1
    updated Apr 08, 2020
  • Cannot use Type Synonym with QuantifiedConstraints in GHC 8.8: "Illegal type synonym family application"
    #17959 · opened Mar 25, 2020 by Fabio Mogavero   Pnormal QuantifiedConstraints Tbug program incorrectly rejected
    • 5
    updated Apr 08, 2020
  • ApplicativeDo breaks compilation with a rank2 let
    #17768 · opened Jan 31, 2020 by Kirill Elagin   ApplicativeDo Pnormal RankNTypes Tbug program incorrectly rejected
    • 1
    • 6
    updated Jun 25, 2020
  • Levity-polymorphism checker is too aggressive for uses of `coerce` on levity-polymorphic newtypes
    #17670 · opened Jan 13, 2020 by Alexis King   Pnormal Tbug levity polymorphism program incorrectly rejected
    • 9
    updated Jun 19, 2020
  • Defaulting of RuntimeRep in type families is incorrect
    #17536 · opened Dec 02, 2019 by Krzysztof Gogolewski   Pnormal Tbug program incorrectly rejected
    • 1
    updated Mar 24, 2021
  • Strange type equality solving failures with ImpredicativeTypes
    #17372 · opened Oct 17, 2019 by Jakob Brünker   Pnormal program incorrectly rejected
    • 2
    updated Jul 17, 2020
  • Coercible solver does not look through "class newtypes"
    #17333 · opened Oct 09, 2019 by Ryan Scott   Coercible Pnormal Tbug program incorrectly rejected typechecker
    • 5
    updated Feb 16, 2021
  • Trivial exhaustiveness checking for view patterns and guards
    #17208 · opened Sep 18, 2019 by Sebastian Graf   5   Pnormal Tbug pattern match warnings program incorrectly rejected
    • 1
    • 2
    updated Jan 28, 2021
  • Instance decidability + Quantified Constraints
    #16730 · opened Jun 01, 2019 by Will Yager   QuantifiedConstraints program incorrectly rejected
    • 3
    updated Jun 18, 2019
  • Order of declarations affects which programs are accepted (type families and existentials)
    #16693 · opened May 24, 2019 by Iavor S. Diatchki   ExistentialQuantification Tbug TypeFamilies program incorrectly rejected typechecker
    • 5
    updated Jan 23, 2020