Issues · Glasgow Haskell Compiler / GHC · GitLab

Pattern synonyms in hs-boot files

#13322 · created Feb 23, 2017 by Edward Z. Yang 3 Plow Tfeature request Trac import backpack hs-boot typechecker
- 1
- 1
updated Jul 07, 2019
Abstract classes in hs-boot should not be treated as injective

#13347 · created Feb 27, 2017 by Edward Z. Yang 3 Plow Tbug Trac import hs-boot typechecker
- 1
updated Jul 07, 2019
Role ranges (allow decomposition on newtypes)

#13358 · created Mar 01, 2017 by Edward Z. Yang 3 Plow Tfeature request Trac import backpack roles typechecker
- 3
updated Jul 07, 2019
Typeclass resolution errors quite puzzling

#13443 · created Mar 18, 2017 by tomjaguarpaw 8.6.1 5 Pnormal Tfeature request Trac import error messages typechecker
- 3
updated Jul 07, 2019
Code using ConstraintKinds needs explicit kind signature with GHC 8.2.1

#13742 · created May 22, 2017 by albertov 5 ConstraintKinds Pnormal Tbug Trac import typechecker
- 13
updated Jul 07, 2019
Variables pretty-printed from -ddump-deriv are not scoped properly

#13748 · created May 23, 2017 by Ryan Scott 5 Pnormal Tbug Trac import deriving typechecker
- 0
updated Jul 07, 2019
Rename AND typecheck types before values

#14340 · created Oct 11, 2017 by Edward Z. Yang 5 Pnormal Ttask Trac import typechecker
- 0
updated Jul 07, 2019
{-# complete #-} should be able to handle | like {-# minimal #-}

#14423 · created Nov 05, 2017 by Edward Kmett 5 Pnormal PatternSynonyms Tfeature request Trac import typechecker
- 0
updated Jul 07, 2019
Abstract pattern synonyms (for hsig and hs-boot)

#14478 · created Nov 17, 2017 by Edward Z. Yang 5 Pnormal Tfeature request Trac import backpack typechecker
- 4
updated Jul 07, 2019
Untouchable error arises from type equality, but not equivalent program with fundeps

#14570 · created Dec 10, 2017 by Alexis King 5 Pnormal Tbug Trac import typechecker
- 4
updated Jul 07, 2019
Keep Role Annotations in the renamed syntax tree

#14772 · created Feb 07, 2018 by lazac 5 Pnormal Tfeature request Trac import typechecker
- 0
updated Jul 07, 2019
Typed hole subtitution search fails in the REPL

#14858 · created Feb 26, 2018 by paf31 8.4.1 5 Pnormal Tbug Trac import typechecker typed holes
- 1
updated Jul 07, 2019
QuantifiedConstraints: Can't be RHS of type family instances

#14968 · created Mar 24, 2018 by josef 5 Pnormal Tbug Trac import typechecker
- 1
- 11
updated Jul 07, 2019
Exhaustivity check should suggest when COMPLETE could be helpful

#15014 · created Apr 08, 2018 by Edward Z. Yang 8.4.3 5 Pnormal PatternSynonyms Tbug Trac import error messages pattern match warnings typechecker
- 0
updated Jul 07, 2019
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter

#15310 · created Jun 25, 2018 by cedricshock 3 Plow Tfeature request Trac import generics typechecker
- 3
updated Jul 07, 2019
Reduce type families in equations' RHS when testing equation compatibility

#15557 · created Aug 22, 2018 by mniip 8.6.1 5 Pnormal Tfeature request Trac import TypeFamilies typechecker
- 7
updated Jul 07, 2019
Surprising failure combining QuantifiedConstraints with Coercible

#15639 · created Sep 13, 2018 by David Feuer 8.6.1 5 Pnormal Tbug Trac import typechecker
- 10
updated Jul 07, 2019
More liberally kinded coercions for newtypes

#15707 · created Oct 05, 2018 by mniip 8.6.1 5 Pnormal Tfeature request Trac import roles typechecker
- 5
updated Jul 07, 2019
Cross-module SPECIALZE pragmas aren't typechecked in -O0

#15708 · created Oct 05, 2018 by regnat 5 Pnormal Tbug Trac import typechecker
- 2
updated Jul 07, 2019
Adding extra quantified constraints leads to resolution failure

#15989 · created Dec 02, 2018 by eror 8.6.3 5 Pnormal Tbug Trac import typechecker
- 7
updated Jul 07, 2019

Prev
1
…
12
13
14
15
16
17
Next