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,826
    • Issues 4,826
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 443
    • Merge requests 443
  • 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 35
  • Closed 32
  • All 67
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • 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
  • Level number panic with LinearTypes
    #21278 · created Mar 22, 2022 by Krzysztof Gogolewski   LinearTypes Pnormal Tbug
    • 1
    updated Mar 24, 2022
  • Export Multiplicities from GHC.Exts
    #20695 · created Nov 17, 2021 by Jakob Brünker   LinearTypes Pnormal Ttask
    • 2
    • 2
    updated Mar 22, 2022
  • Make the design of defaulting explicit
    #20686 · created Nov 15, 2021 by Simon Peyton Jones   LinearTypes Pnormal PolyKinds Ttask defaulting representation polymorphism typechecker
    • 32
    updated Apr 29, 2022
  • Why must newtype constructors be linear?
    #20467 · created Oct 03, 2021 by David Feuer   LinearTypes Tquestion documentation newcomer
    • 1
    • 4
    updated May 03, 2022
  • Linear types and pattern synonyms
    #20184 · created Jul 29, 2021 by Krzysztof Gogolewski   LinearTypes Pnormal PatternSynonyms Tfeature request
    • 0
    updated Aug 02, 2021
  • Linear types: investigate the multiplicity argument of FUN
    #20164 · created Jul 26, 2021 by Krzysztof Gogolewski   LinearTypes Ttask Typeable
    • 1
    updated Dec 08, 2021
  • Linear types and RULES
    #20156 · created Jul 23, 2021 by Krzysztof Gogolewski   LinearTypes Pnormal Tbug rules
    • 0
    updated Jul 27, 2021
  • Linear types and -fdefer-type-errors
    #20083 · created Jul 05, 2021 by Krzysztof Gogolewski   LinearTypes Pnormal Tfeature request deferred type errors
    • 1
    updated Aug 23, 2021
  • Linear types: restrict transformations around empty case
    #20058 · created Jun 28, 2021 by Krzysztof Gogolewski   LinearTypes Pnormal Tbug
    • 0
    updated Jul 06, 2021
  • Clarifications to LinearTypes entry in users guide
    #19642 · created Apr 02, 2021 by jberryman   LinearTypes documentation
    • 1
    • 1
    updated Apr 03, 2021
  • Should we support prefix lollipop?
    #19639 · created Apr 02, 2021 by Krzysztof Gogolewski   LinearTypes Tfeature request
    • 3
    updated Apr 07, 2021
  • Linear types: submultiplicity evidence
    #19517 · created Mar 09, 2021 by Krzysztof Gogolewski   LinearTypes Ttask
    • 0
    updated Jul 05, 2021
  • Rebindable Syntax and LinearTypes (allow a version of RebindableSyntax without ifThenElse)
    #19477 · created Mar 02, 2021 by Edward Kmett   LinearTypes Plow RebindableSyntax Tfeature request
    • 1
    • 5
    updated Apr 08, 2021
  • Linear Types confusing error message
    #19361 · created Feb 13, 2021 by Jaro Reinders   LinearTypes Tbug pretty printing
    • 1
    • 10
    updated Jan 25, 2022
  • Explore mutability in the Core AST
    #19256 · created Jan 25, 2021 by Sebastian Graf   LinearTypes Ttask compiler perf
    • 1
    updated Jan 29, 2021
  • Guards should accept linear variables
    #19193 · created Jan 08, 2021 by Arnaud Spiwack   LinearTypes Tfeature request
    • 1
    updated Feb 15, 2021
  • Linear types: enable linting
    #19165 · created Jan 04, 2021 by Krzysztof Gogolewski   LinearTypes
    • 0
    updated Aug 04, 2021
  • `UniqSupply` API should use -XLinearTypes
    #19085 · created Dec 18, 2020 by Sebastian Graf   LinearTypes Ttask
    • 3
    updated Jan 28, 2021
  • Linear types: remember usage environment of a case
    #18768 · created Sep 29, 2020 by Krzysztof Gogolewski   LinearTypes Ttask
    • 3
    updated Jun 28, 2021
  • Prev
  • 1
  • 2
  • Next