Issues · Glasgow Haskell Compiler / GHC · GitLab

Backpack accepts ill-kinded instantiations. Can cause GHC panic

#15984 · opened Dec 01, 2018 by aaronvargo 8.6.3 P::normal Trac import backpack bug compiler crash 5
- 6
updated Jul 07, 2019
Maybe ghc-pkg register should unregister packages with "incompatible" signatures

#15391 · opened Jul 16, 2018 by Edward Z. Yang 8.10.1 P::normal Trac import backpack bug ghc-pkg 5
- 2
updated Jul 07, 2019
Abstract pattern synonyms (for hsig and hs-boot)

#14478 · opened Nov 17, 2017 by Edward Z. Yang P::normal Trac import backpack feature request typechecker 5
- 4
updated Jul 07, 2019
Give better error message with non-supported Backpack/TH use

#14212 · opened Sep 10, 2017 by Edward Z. Yang P::normal TemplateHaskell Trac import backpack bug 5
- 0
updated Jul 07, 2019
bkp files cannot find TemplateHaskell symbols (even without Backpack features)

#14210 · opened Sep 10, 2017 by Edward Z. Yang P::low Trac import backpack feature request linking 3
- 0
updated Jul 07, 2019
Compiling with --backpack with undefined dependency results in "the 'impossible' happened"

#14063 · opened Jul 30, 2017 by rcook P::normal Trac import backpack bug compiler crash 5
- 2
updated Jul 07, 2019
GHC cannot parse valid Haskell98 whose first identifier is named signature

#13765 · opened May 29, 2017 by Edward Z. Yang P::low Trac import backpack bug parser 3
- 0
updated Jul 07, 2019
Recompilation avoidance and Backpack

#13493 · opened Mar 28, 2017 by Edward Z. Yang P::normal Trac import backpack bug 5
- 0
updated Jul 07, 2019
-fdefer-type-errors for Backpack

#13469 · opened Mar 23, 2017 by Edward Z. Yang P::normal Trac import backpack feature request 5
- 0
updated Jul 07, 2019
Better type synonym merging/subtyping for Backpack

#13361 · opened Mar 02, 2017 by Edward Z. Yang P::low Trac import backpack bug typechecker 3
- 0
updated Jul 07, 2019
Role ranges (allow decomposition on newtypes)

#13358 · opened Mar 01, 2017 by Edward Z. Yang P::low Trac import backpack feature request roles typechecker 3
- 3
updated Jul 07, 2019
Pattern synonyms in hs-boot files

#13322 · opened Feb 23, 2017 by Edward Z. Yang P::low Trac import backpack feature request hs-boot typechecker 3
- 1
- 1
updated Jul 07, 2019
Source locations from signature merging/matching are bad

#13266 · opened Feb 10, 2017 by Edward Z. Yang P::normal Trac import backpack bug typechecker 5
- 0
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 P::low Trac import TypeFamilies backpack feature request typechecker 3
- 12
updated Jul 22, 2019
Make all never-exported IfaceDecls implicit

#13151 · opened Jan 19, 2017 by Edward Z. Yang P::normal Trac import backpack task typechecker 5
- 3
updated Jul 07, 2019
Giving Backpack a Promotion

#13149 · opened Jan 18, 2017 by Edward Z. Yang Research needed P::low Trac import backpack broken test task typechecker 3
- 4
updated Jul 07, 2019
hs-boot files permit default methods in type class (but don't typecheck them)

#13069 · opened Jan 05, 2017 by Edward Z. Yang 8.10.1 P::normal Trac import backpack bug hs-boot typechecker 5
- 7
updated Jul 07, 2019
Permit data types in signatures to be implemented with equivalent pattern synonyms (and vice versa)

#12717 · opened Oct 16, 2016 by Edward Z. Yang P::low Trac import backpack feature request typechecker 0
- 2
updated Jul 07, 2019
Expand Backpack's signature matching relation beyond definitional equality

#12703 · opened Oct 14, 2016 by Edward Z. Yang P::normal Trac import backpack feature request typechecker 5
- 3
updated Jul 07, 2019
Permit type equality instances in signatures

#12680 · opened Oct 10, 2016 by Edward Z. Yang P::low Trac import backpack feature request typechecker 3
- 20
updated Jul 07, 2019