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,836
    • Issues 4,836
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 459
    • Merge requests 459
  • 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 32
  • Closed 36
  • All 68
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • Core Lint errors : in result of Static argument
    #21636 · created May 24, 2022 by Icelandjack   Pnormal Tbug core lint static argument transformation
    • 1
    updated May 24, 2022
  • CoreLint: Check for invalid arity <-> dmgSig argument count combinations.
    #21452 · created Apr 29, 2022 by Andreas Klebinger   Pnormal Ttask core lint demand analysis newcomer
    • 1
    • 0
    updated May 10, 2022
  • Dubious use of `isDeadEndId` in Core.Utils:diffExpr
    #21445 · created Apr 27, 2022 by Andreas Klebinger   Plow Tquestion core lint
    • 2
    updated May 03, 2022
  • simple_app fails to beta-reduce through casts
    #21377 · created Apr 11, 2022 by sheaf   LinearTypes Phigh Tbug UnliftedDatatypes UnliftedNewtypes core lint representation polymorphism typechecker
    • 4
    updated Apr 21, 2022
  • Is an argument of type `a ~# b` relevant?
    #21241 · created Mar 16, 2022 by Sebastian Graf   Coercions Tquestion core lint
    • 2
    updated Mar 22, 2022
  • Treatment of local CoVarCo in coercion optimization is almost surely wrong
    #21062 · created Feb 08, 2022 by Richard Eisenberg   Coercions core lint
    • 2
    • 3
    updated May 10, 2022
  • TransformListComp accepts invalid unboxed let bindings
    #20864 · created Dec 24, 2021 by David Feuer   9.4.1   Pnormal core lint desugaring program incorrectly accepted runtime crash
    • 1
    • 13
    updated May 09, 2022
  • Core lint can dominate compile times
    #20825 · created Dec 15, 2021 by Matthew Pickering   Pnormal Ttask compiler perf core lint
    • 10
    updated Jan 04, 2022
  • Likely bug in coercion optimization
    #20798 · created Dec 08, 2021 by Richard Eisenberg   Coercions Phigh Tbug core lint simplifier
    • 3
    updated Apr 07, 2022
  • Document strict fields invariant
    #20749 · created Nov 26, 2021 by Krzysztof Gogolewski   Pnormal Ttask core lint
    • 1
    updated Feb 16, 2022
  • Skolems can escape in arrow notation, resulting in Core Lint errors
    #20470 · created Oct 03, 2021 by Alexis King   Arrows GADTs Pnormal Tbug core lint typechecker
    • 3
    updated Feb 24, 2022
  • Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors
    #20469 · created Oct 03, 2021 by Alexis King   Arrows GADTs Pnormal Tbug core lint typechecker
    • 5
    updated Mar 10, 2022
  • Core Lint error around pure unifier and coercions
    #20171 · created Jul 27, 2021 by Richard Eisenberg   TypeInType core lint
    • 0
    updated Jul 27, 2021
  • Core Lint error with typed Template Haskell (The type variable ... is out of scope)
    #19893 · created May 23, 2021 by Ryan Scott   Pnormal Tbug TemplateHaskell core lint typed TemplateHaskell
    • 2
    updated Feb 06, 2022
  • Core Lint error (From-kind of Cast differs from kind of enclosed type) with TH-generated data type
    #19743 · created Apr 25, 2021 by Ryan Scott   Tbug TemplateHaskell core lint program incorrectly rejected
    • 0
    updated Apr 25, 2021
  • Core Lint error: Non-*-like kind when *-like expected: * -> *
    #19573 · created Mar 21, 2021 by Icelandjack   Pnormal Tbug compiler crash core lint
    • 3
    updated Jul 14, 2021
  • Non-existant scoping semantics for IMP-RULEs makes Simplifier build ill-scoped Core programs
    #19529 · created Mar 12, 2021 by Sebastian Graf   Plow Tbug core lint rules simplifier
    • 5
    updated Apr 08, 2021
  • CoreLint should check for top-level join points
    #19526 · created Mar 12, 2021 by Sebastian Graf   Pnormal Tbug core lint
    • 0
    updated Apr 06, 2021
  • CoreLint lints all top-level bindings as recursive bindings
    #19516 · created Mar 09, 2021 by Sebastian Graf   ⊥   Plow Ttask core lint simplifier
    • 1
    • 15
    updated May 26, 2021
  • Relax Note [Phantom type variables in kinds] to allow for phantom levity vars
    #19487 · created Mar 04, 2021 by Sebastian Graf   UnliftedDatatypes core lint representation polymorphism typechecker
    • 16
    updated Jun 02, 2021
  • Prev
  • 1
  • 2
  • Next