Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
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,057
Issues
4,057
List
Boards
Labels
Service Desk
Milestones
Merge Requests
343
Merge Requests
343
Requirements
Requirements
List
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Security & Compliance
Security & Compliance
Dependency List
License Compliance
Analytics
Analytics
CI / CD
Code Review
Insights
Issues
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
4
Closed
3
All
7
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
{{name}}
Yes
No
Yes
No
{{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
8.10: Overlapping instances claimed where there are none (or crash in 8.8)
#18129
· opened
May 02, 2020
by
Serge Kosyrev
GADTs
OverlappingInstances
P
normal
TypeFamilies
UndecidableSuperClasses
UndecideableInstances
bug
1
3
updated
Jul 01, 2020
UndecidableSuperClasses - Could not deduce (Category d)
#14010
· opened
Jul 22, 2017
by
Vladislav Zavialov
P
normal
Trac import
UndecidableSuperClasses
bug
5
5
updated
Jul 07, 2019
Can't solve constraints with UndecidableSuperClasses but can infer kind (+ undesired order of kinds)
#12131
· opened
May 29, 2016
by
Icelandjack
P
normal
Trac import
UndecidableSuperClasses
bug
typechecker
5
7
updated
Jul 07, 2019
Infinite Loop when mixing UndecidableSuperClasses and the class/instance constraint synonym trick.
#11523
· opened
Feb 01, 2016
by
Edward Kmett
8.4.1
P
high
Trac import
UndecidableSuperClasses
bug
typechecker
7
30
updated
Jul 07, 2019
