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,843
    • Issues 4,843
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 453
    • Merge requests 453
  • 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 27
  • Closed 19
  • All 46
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Title Weight Blocking
  • deriving via can't coerce through functional dependencies
    #20238 · created Aug 16, 2021 by Carter Schonwald   Coercions DerivingVia FunctionalDependencies info needed
    • 10
    updated Aug 24, 2021
  • When does GHC quantify over variables fully determined by fundeps?
    #20064 · created Jun 30, 2021 by sheaf   FunctionalDependencies Plow Ttask constraint solver typechecker
    • 2
    updated Jun 30, 2021
  • Dubious FunDep behaviour, even for a 'textbook' example with non dodgy extensions
    #19126 · created Dec 27, 2020 by Anthony Clayden   FunctionalDependencies OverlappingInstances Pnormal Tbug UndecideableInstances
    • 2
    updated Feb 16, 2021
  • Functional dependencies (for classes or type familes alike) can not refine given equality constraints
    #19043 · created Dec 09, 2020 by John Ericson   FunctionalDependencies Tfeature request
    • 4
    updated Jan 19, 2021
  • Non-confluence in the solver
    #18851 · created Oct 15, 2020 by Richard Eisenberg   FunctionalDependencies Pnormal Tbug UndecideableInstances constraint solver typechecker
    • 45
    updated Feb 24, 2022
  • Types with different forall placements don't unify with QL ImpredicativeTypes
    #18759 · created Sep 28, 2020 by Andrzej Rybczak   FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
    • 53
    updated Jan 13, 2022
  • Instances do not respect functional dependency, yet are accepted
    #18400 · created Jun 26, 2020 by Richard Eisenberg   FunctionalDependencies Pnormal Tbug program incorrectly accepted
    • 11
    updated Nov 13, 2020
  • Documentation for FunctionalDependencies is misleading/incomplete (and their behavior confusing) wrt overlapping instances
    #17765 · created Jan 30, 2020 by Jakob Brünker   FunctionalDependencies OverlappingInstances Pnormal Tbug documentation
    • 0
    updated Feb 20, 2020
  • Why do we have both typeRep# and typeRep?
    #17569 · created Dec 12, 2019 by Richard Eisenberg   FunctionalDependencies Ttask Typeable
    • 5
    updated May 19, 2020
  • GHC accepts derived instances that violate functional dependencies
    #17013 · created Jul 31, 2019 by Alexis King   FunctionalDependencies Pnormal deriving
    • 4
    updated Oct 30, 2021
  • Trivial Functional Dependencies (and downright nonsense) accepted
    #16581 · created Apr 16, 2019 by Anthony Clayden   3   FunctionalDependencies Plow Tbug program incorrectly accepted
    • 5
    updated Jul 07, 2019
  • System FC for FunDeps: not doing what it says on the tin
    #16430 · created Mar 13, 2019 by Anthony Clayden   FunctionalDependencies Tbug
    • 17
    updated Mar 23, 2019
  • Weird interaction between fundeps and overlappable instances
    #15927 · created Nov 21, 2018 by Darwin226   8.6.3   5   FunctionalDependencies Pnormal Tbug Trac import
    • 8
    updated Jul 07, 2019
  • Undependable Dependencies
    #15632 · created Sep 12, 2018 by AntC   8.6.1   5   FunctionalDependencies OverlappingInstances Pnormal Tbug Trac import
    • 11
    updated Oct 30, 2020
  • QuantifiedConstraints ignore FunctionalDependencies
    #15351 · created Jul 07, 2018 by aaronvargo   5   FunctionalDependencies Pnormal QuantifiedConstraints Tbug Trac import typechecker
    • 14
    updated Dec 03, 2020
  • FunDep origin not correctly attributed
    #14778 · created Feb 08, 2018 by Simon Peyton Jones   5   FunctionalDependencies Pnormal Tbug Trac import
    • 0
    updated Jul 07, 2019
  • Functional dependency conflicts in givens
    #14745 · created Jan 31, 2018 by Simon Peyton Jones   5   FunctionalDependencies Pnormal Tbug Trac import
    • 0
    updated Jul 07, 2019
  • GeneralizedNewtypeDeriving + MultiParamTypeClasses sends typechecker into an infinite loop
    #12860 · created Nov 21, 2016 by Ryan Scott   5   FunctionalDependencies Pnormal Tbug Trac import compiler perf deriving typechecker
    • 21
    updated Aug 01, 2019
  • Check if constraint synonym satisfies functional dependencies
    #12704 · created Oct 14, 2016 by Edward Z. Yang   3   FunctionalDependencies Plow Tbug Trac import typechecker
    • 1
    updated Jul 07, 2019
  • Can't capture improvement of functional dependencies
    #12647 · created Sep 30, 2016 by Icelandjack   5   FunctionalDependencies Pnormal Ttask Trac import
    • 4
    updated Jul 07, 2019
  • Prev
  • 1
  • 2
  • Next