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,391
    • Issues 4,391
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 375
    • Merge Requests 375
  • 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 32
  • Closed 110
  • All 142
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • Non-exhaustive patern matches in function declarations generated by QuasiQuotes don't report the warning
    #19721 · opened Apr 20, 2021 by Geometer1729   needs triage pattern match warnings
    • 2
    updated Apr 20, 2021
  • Follow-up from "Fix the binder-swap transformation in OccurAnal"   0 of 1 task completed
    #19585 · opened Mar 24, 2021 by Sebastian Graf   pattern match warnings
    • 0
    updated Mar 24, 2021
  • GivenCheck fails in hpc way
    #19430 · opened Feb 24, 2021 by Ben Gamari   HPC Pnormal Tbug pattern match warnings testsuite
    • 0
    updated Feb 24, 2021
  • Deprecate `-Winaccessible-code`
    #19428 · opened Feb 23, 2021 by Sebastian Graf   Ttask pattern match warnings typechecker
    • 3
    updated Mar 02, 2021
  • Pattern mach checking for Rationals seems to be broken.
    #19384 · opened Feb 15, 2021 by Andreas Klebinger   Pnormal Tbug pattern match warnings
    • 1
    updated Feb 21, 2021
  • Missing warning for a run-time pattern match failure
    #19327 · opened Feb 05, 2021 by Hai / @BestYeen   Pnormal Tfeature request error messages pattern match warnings
    • 1
    • 1
    updated Feb 21, 2021
  • E-Graphs for representation of normalised refinement types in the pattern-match checker
    #19272 · opened Jan 28, 2021 by Sebastian Graf   Ttask pattern match warnings simplifier typechecker
    • 1
    updated Jan 29, 2021
  • Enumerate potential cases in an EmptyCase error message
    #19271 · opened Jan 28, 2021 by parsonsmatt   Pnormal Tfeature request pattern match warnings
    • 0
    updated Jan 29, 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
  • PmCheck: Long-distance info and where clause "refactorings" are strange
    #18823 · opened Oct 09, 2020 by Sebastian Graf   Pnormal Tbug pattern match warnings
    • 1
    updated Nov 09, 2020
  • Empty unlifted sums are always uninhabited
    #18773 · opened Sep 29, 2020 by David Feuer   Pnormal Tbug UnboxedSums pattern match warnings
    • 4
    updated Sep 30, 2020
  • TypeError and GADT pattern matching exhaustiveness
    #18766 · opened Sep 29, 2020 by Ziyang Liu   Pnormal Tbug custom type errors pattern match warnings
    • 3
    updated Oct 01, 2020
  • PmCheck: Inhabitation testing through set approximations
    #18735 · opened Sep 22, 2020 by Sebastian Graf   Tfeature request pattern match warnings
    • 1
    updated Sep 30, 2020
  • COMPLETE pragmas orphan and recompilation semantics
    #18675 · opened Sep 10, 2020 by Sebastian Graf   pattern match warnings
    • 9
    updated Sep 27, 2020
  • PmCheck: Mutually incompatible residual COMPLETE matches
    #18667 · opened Sep 08, 2020 by Sebastian Graf   Pnormal Tbug pattern match warnings
    • 2
    updated Sep 14, 2020
  • documentation (and naming) of -Woverlapping-patterns
    #18643 · opened Sep 02, 2020 by jwaldmann   Plow Tbug documentation pattern match warnings
    • 4
    updated Feb 16, 2021
  • Missing overlapping pattern warning for pattern with required constraint
    #17416 · opened Oct 29, 2019 by sheaf   Pnormal Tbug pattern match warnings program incorrectly accepted
    • 3
    updated Oct 31, 2019
  • Consider handling of `not` in the pattern match checker.
    #17361 · opened Oct 15, 2019 by Andreas Klebinger   Tfeature request pattern match warnings
    • 1
    • 1
    updated Oct 31, 2019
  • Strictness of pattern synonym matches and pattern-match checking
    #17357 · opened Oct 14, 2019 by Sebastian Graf   pattern match warnings
    • 10
    updated Jul 03, 2020
  • Pattern match exhaustivity warnings for overloaded lists are weirdly redundant
    #17219 · opened Sep 20, 2019 by Sebastian Graf   3   pattern match warnings
    • 0
    updated Oct 01, 2019
  • Prev
  • 1
  • 2
  • Next