Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project
Project
Details
Activity
Releases
Cycle Analytics
Insights
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Locked Files
Issues
3,625
Issues
3,625
List
Boards
Labels
Milestones
Merge Requests
198
Merge Requests
198
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Security & Compliance
Security & Compliance
Dependency List
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
13
Closed
9
All
22
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
None
Any
{{title}}
Last updated
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
TypeError hides a second error message
#16894
· opened
Jul 02, 2019
by
Joey Hess
8.10.1
P::normal
bug
custom type errors
error messages
typechecker
user-facing
5
2
updated
Jul 07, 2019
Have custom type errors imply Void
#14983
· opened
Mar 29, 2018
by
Icelandjack
P::low
QuantifiedConstraints
Trac import
custom type errors
task
0
2
updated
Jul 07, 2019
TypeError reported too eagerly
#14771
· opened
Feb 07, 2018
by
Sylvain Henry
P::normal
Trac import
bug
custom type errors
error messages
typechecker
5
6
updated
Jul 07, 2019
Custom type errors don't trigger when matching on a GADT constructor with an error in the constraint
#14141
· opened
Aug 21, 2017
by
Darwin226
P::normal
Trac import
bug
custom type errors
5
2
updated
Jul 07, 2019
Type family expansion is too lazy, allows accepting of ill-typed terms
#13775
· opened
Jun 01, 2017
by
fizruk
P::normal
Trac import
bug
custom type errors
typechecker
5
11
updated
Jul 07, 2019
`OverloadedStrings` for types
#12049
· opened
May 12, 2016
by
Icelandjack
P::normal
Trac import
custom type errors
feature request
5
1
0
updated
Jul 07, 2019
Allow CustomTypeErrors in type synonyms (+ evaluate nested type family?)
#12048
· opened
May 12, 2016
by
Icelandjack
P::normal
Trac import
custom type errors
feature request
5
5
updated
Jul 07, 2019
Custom message when showing functions, comparing functions, ...
#11967
· opened
Apr 22, 2016
by
Icelandjack
P::normal
Trac import
core libraries
custom type errors
feature request
5
3
updated
Jul 07, 2019
TypeError woes (incl. pattern match checker)
#11503
· opened
Jan 28, 2016
by
Richard Eisenberg
8.10.1
P::normal
Trac import
bug
custom type errors
error messages
5
8
updated
Jul 07, 2019
Incorrect warning about redundant constraints
#11099
· opened
Nov 17, 2015
by
Iavor S. Diatchki
P::normal
Trac import
bug
custom type errors
typechecker
5
5
updated
Jul 07, 2019
User defined Type Warnings
#17027
· opened
Aug 05, 2019
by
Andreas Klebinger
8.10.1
P::normal
custom type errors
feature request
3
1
updated
Aug 06, 2019
Custom TypeError should include "arising from" clause
#17168
· opened
Sep 08, 2019
by
Adam Gundry
8.10.1
custom type errors
error messages
feature request
1
updated
Sep 10, 2019
Custom type errors in default signatures are reported over-eagerly
#16906
· opened
Jul 04, 2019
by
Artyom Kazak
8.10.1
bug
custom type errors
info needed
2
1
9
updated
Sep 17, 2019