Issues · Glasgow Haskell Compiler / GHC · GitLab

Permit data types in signatures to be implemented with equivalent pattern synonyms (and vice versa)

#12717 · opened Oct 16, 2016 by Edward Z. Yang 0 Plow Trac import backpack feature request typechecker
- 2
updated Jul 07, 2019
Equality constraint not available in pattern type signature (GADTs/ScopedTypeVariables)

#12018 · opened May 06, 2016 by Icelandjack 0 GADTs Plow ScopedTypeVariables Trac import bug typechecker
- 11
updated Jul 07, 2019
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened Feb 25, 2016 by Icelandjack 0 FunctionalDependencies Plow Trac import feature request partial type sigs typechecker
- 2
updated Jul 07, 2019
Extension request: "where" clauses in type signatures

#10794 · opened Aug 25, 2015 by danso 0 Plow Trac import feature request typechecker
- 7
updated Jul 07, 2019
Add a total order on type constructors

#1894 · opened Nov 14, 2007 by guest 8.0.1 0 Plow Trac import feature request typechecker
- 16
updated Jul 07, 2019
Problem with GADTs and explicit type signatures

#1158 · opened Feb 20, 2007 by guest 0 GADTs Plow Trac import bug typechecker
- 5
updated Jul 07, 2019
arrow notation: incorrect scope of existential dictionaries

#344 · opened Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Trac import bug typechecker
- 23
updated Aug 13, 2020
GHC suggests that infix operators might have the wrong number of arguments

#16786 · opened Jun 08, 2019 by Chris Smith ⊥ 3 Plow error messages task typechecker
- 1
updated Jul 07, 2019
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter

#15310 · opened Jun 25, 2018 by cedricshock 3 Plow Trac import feature request generics typechecker
- 3
updated Jul 07, 2019
Better type synonym merging/subtyping for Backpack

#13361 · opened Mar 02, 2017 by Edward Z. Yang 3 Plow Trac import backpack bug typechecker
- 1
updated Jan 07, 2021
Role ranges (allow decomposition on newtypes)

#13358 · opened Mar 01, 2017 by Edward Z. Yang 3 Plow Trac import backpack feature request roles typechecker
- 3
updated Jul 07, 2019
Abstract classes in hs-boot should not be treated as injective

#13347 · opened Feb 27, 2017 by Edward Z. Yang 3 Plow Trac import bug hs-boot typechecker
- 1
updated Jul 07, 2019
Pattern synonyms in hs-boot files

#13322 · opened Feb 23, 2017 by Edward Z. Yang 3 Plow Trac import backpack feature request hs-boot typechecker
- 1
- 1
updated Jul 07, 2019
Importing a bundled pattern "infects" all other imports of that pattern

#13321 · opened Feb 23, 2017 by Edward Z. Yang 3 Plow Trac import bug typechecker
- 4
updated Jul 07, 2019
Allow type synonym family application in instance head if it has no free variables

#13262 · opened Feb 10, 2017 by Edward Z. Yang 3 Plow Trac import TypeFamilies backpack feature request typechecker
- 12
updated Jul 22, 2019
Confusing error when hs-boot abstract data implemented using synonym

#13180 · opened Jan 24, 2017 by Edward Z. Yang 3 Plow Trac import bug hs-boot typechecker
- 0
updated Jul 07, 2019
Giving Backpack a Promotion

#13149 · opened Jan 18, 2017 by Edward Z. Yang Research needed 3 Plow Trac import backpack broken test task typechecker
- 4
updated Nov 27, 2019
Renamer should reject signatures that reexport only part of a declaration

#12705 · opened Oct 14, 2016 by Edward Z. Yang 3 Plow Trac import bug typechecker
- 0
updated Jul 07, 2019
Check if constraint synonym satisfies functional dependencies

#12704 · opened Oct 14, 2016 by Edward Z. Yang 3 FunctionalDependencies Plow Trac import bug typechecker
- 1
updated Jul 07, 2019
Permit type equality instances in signatures

#12680 · opened Oct 10, 2016 by Edward Z. Yang 3 Plow Trac import backpack feature request typechecker
- 22
updated Nov 26, 2019

Prev
1
2
3
4
5
…
14
Next