Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
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
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
9
Closed
25
All
34
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Validity checker should reject polytypes passed to type functions
#18762
· opened
Sep 29, 2020
by
Richard Eisenberg
ImpredicativeTypes
P
normal
TypeFamilies
bug
program incorrectly accepted
9
updated
Dec 11, 2020
Types with different forall placements don't unify with QL ImpredicativeTypes
#18759
· opened
Sep 28, 2020
by
Andrzej Rybczak
FunctionalDependencies
ImpredicativeTypes
P
normal
bug
program incorrectly rejected
records
53
updated
Dec 31, 2020
Tuple sections and impredicativity
#18464
· opened
Jul 16, 2020
by
Simon Peyton Jones
ImpredicativeTypes
0
updated
Jul 16, 2020
Impredicative types and do-notation
#18324
· opened
Jun 10, 2020
by
Simon Peyton Jones
ImpredicativeTypes
task
0
updated
Jun 10, 2020
Implement Quick Look impredicativity
0 of 5 tasks completed
#18126
· opened
May 01, 2020
by
Simon Peyton Jones
ImpredicativeTypes
feature request
4
updated
Sep 24, 2020
GHC behaves differently when binding has separate or inlined type declaration
#16209
· opened
Jan 21, 2019
by
fghibellini
5
ImpredicativeTypes
P
normal
Trac import
bug
2
updated
Jul 16, 2020
Cannot create type synonym for quantified constraint without ImpredicativeTypes
#16140
· opened
Jan 07, 2019
by
Ashley Yakeley
5
ImpredicativeTypes
P
normal
QuantifiedConstraints
Trac import
bug
20
updated
Jul 07, 2019
Type families returning quantified types
#9269
· opened
Jul 05, 2014
by
pumpkin
5
ImpredicativeTypes
P
normal
Trac import
feature request
1
35
updated
Jan 15, 2021
ImpredicativeTypes type checking fails depending on syntax of arguments
#8808
· opened
Feb 20, 2014
by
guest
5
ImpredicativeTypes
P
normal
Trac import
bug
typechecker
2
updated
Sep 24, 2020