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,251
    • Issues 4,251
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 394
    • Merge Requests 394
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Security & Compliance
    • Security & Compliance
    • Dependency List
    • License Compliance
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues

  • Open 0
  • Closed 30
  • All 30
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight
  • GHC HEAD-only Core Lint error (Trans coercion mis-match)
    #16225 · opened Jan 23, 2019 by Ryan Scott   8.8.1   10   Phighest Trac import TypeInType bug typechecker
    • CLOSED
    • 3
    • 2
    updated Jul 07, 2019
  • GHC HEAD-only Core Lint error (Argument value doesn't match argument type)
    #16204 · opened Jan 19, 2019 by Ryan Scott   8.8.1   10   Phighest Trac import TypeInType bug compiler crash typechecker
    • CLOSED
    • 3
    • 5
    updated Jul 07, 2019
  • GHC HEAD-only panic (buildKindCoercion)
    #16188 · opened Jan 16, 2019 by Ryan Scott   8.8.1   10   Phighest Trac import TypeInType bug compiler crash typechecker
    • CLOSED
    • 3
    • 8
    updated Jul 07, 2019
  • StrictData and TypeFamilies regression
    #16141 · opened Jan 07, 2019 by Ryan Scott   8.8.1   10   Phighest Trac import bug typechecker
    • CLOSED
    • 12
    updated Jul 14, 2019
  • GHC HEAD type family regression involving invisible arguments
    #16008 · opened Dec 07, 2018 by Ryan Scott   8.8.1   10   Phighest Trac import TypeFamilies TypeInType bug typechecker
    • CLOSED
    • 6
    updated Jul 07, 2019
  • GHC HEAD-only panic (zonkTcTyVarToTyVar)
    #15778 · opened Oct 18, 2018 by Ryan Scott   8.8.1   10   Phighest Trac import TypeInType bug compiler crash typechecker
    • CLOSED
    • 7
    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 Trac import TypeInType bug typechecker
    • CLOSED
    • 11
    updated Jul 07, 2019
  • Closed type family declaration accepts any name in LHS
    #17633 · opened Jan 03, 2020 by Maxim Koltsov   8.8.1   Pnormal TypeFamilies bug program incorrectly accepted typechecker
    • CLOSED
    • 1
    • 2
    • 2
    updated Jan 03, 2020
  • GHC internal error while typechecking of instance definition
    #16394 · opened Mar 05, 2019 by Day1721   8.8.1   3   Plow Trac import bug error messages typechecker
    • CLOSED
    • 3
    updated Jul 07, 2019
  • Visible kind application defeats type family with higher-rank result kind
    #16255 · opened Jan 29, 2019 by Ryan Scott   8.8.1   5   Pnormal Trac import TypeApplications TypeFamilies bug typechecker
    • CLOSED
    • 7
    updated Jul 07, 2019
  • T14740 fails in debugged compiler
    #16113 · opened Dec 30, 2018 by Ben Gamari   8.8.1   7   Phigh Trac import bug typechecker
    • CLOSED
    • 2
    updated Jul 07, 2019
  • checkValidType is defeated by a type synonym
    #16059 · opened Dec 17, 2018 by Ryan Scott   8.8.1   5   Pnormal Trac import bug typechecker
    • CLOSED
    • 17
    updated Jul 14, 2020
  • Rank-n typechecking regression between GHC 8.4 and 8.6
    #16033 · opened Dec 11, 2018 by Ryan Scott   8.8.1   5   Pnormal RankNTypes Trac import bug typechecker
    • CLOSED
    • 4
    updated Jul 07, 2019
  • Type family & typeclass interaction suppresses errors
    #15962 · opened Nov 28, 2018 by madgen   8.8.1   5   Pnormal Trac import TypeFamilies bug error messages newcomer typechecker
    • CLOSED
    • 2
    updated Jul 07, 2019
  • LiberalTypeSynonyms unsaturation check doesn't kick in
    #15954 · opened Nov 26, 2018 by Ryan Scott   8.8.1   5   Pnormal Trac import bug typechecker
    • CLOSED
    • 10
    updated Jul 07, 2019
  • Add a test case for tricky type synonyms involving visible dependent kinds
    #15829 · opened Oct 29, 2018 by Ryan Scott   8.8.1   5   Pnormal Trac import bug typechecker
    • CLOSED
    • 1
    updated Jul 07, 2019
  • "No skolem info" panic (GHC 8.6 only)
    #15629 · opened Sep 11, 2018 by Ryan Scott   8.8.1   5   Pnormal Trac import TypeInType bug 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 Trac import bug typechecker
    • CLOSED
    • 1
    updated Jul 07, 2019
  • Core Lint error with EmptyCase
    #15549 · opened Aug 21, 2018 by Ryan Scott   8.8.1   5   Pnormal Trac import TypeFamilies TypeInType bug 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 Trac import TypeFamilies TypeInType bug error messages typechecker
    • CLOSED
    • 7
    updated Jul 07, 2019
  • Prev
  • 1
  • 2
  • Next