Issues · Glasgow Haskell Compiler / GHC · GitLab

Make injectivity check less conservative

#12114 · opened May 24, 2016 by MikeIzbicki 5 Pnormal Trac import bug feature request typechecker
- 1
updated Jul 07, 2019
Typed Template Haskell missing utilities provided by untyped variant

#12103 · opened May 23, 2016 by Ben Gamari 8.2.1 5 Pnormal TemplateHaskell Trac import bug feature request typed TemplateHaskell
- CLOSED
- 3
updated Jul 07, 2019
Type/data family instances in kind checking

#12088 · opened May 19, 2016 by alexvieth 9.2.1 7 CUSKs Phigh Trac import bug feature request typechecker
- 1
- 55
updated Jan 25, 2021
Allow omitting type family signature

#12086 · opened May 19, 2016 by Icelandjack 5 Pnormal Trac import feature request
- 0
updated Jul 07, 2019
Missing instance of MonadFix for Q

#12073 · opened May 16, 2016 by jophish 5 Pnormal TemplateHaskell Trac import feature request
- CLOSED
- 9
- 4
updated Jun 13, 2020
Allow duplicate record fields in pattern synonyms

#12061 · opened May 15, 2016 by Icelandjack 5 Pnormal PatternSynonyms Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Add primop to query for pinned-ness of a ByteArray

#12059 · opened May 14, 2016 by Ben Gamari 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
TypeFamilyDependencies on Data.Type.Bool's `Not`

#12057 · opened May 13, 2016 by Icelandjack 8.2.1 5 Pnormal Trac import TypeFamilies core libraries feature request injective type families newcomer
- CLOSED
- 10
updated Jul 07, 2019
Mode for ghc --make which only compiles the files I pass on command line

#12053 · opened May 12, 2016 by Edward Z. Yang 5 Pnormal Trac import backpack feature request
- 1
updated Jul 07, 2019
Allow haddock comments on non-record types

#12050 · opened May 12, 2016 by Ben Gamari 5 Pnormal Trac import feature request parser
- CLOSED
- 6
updated Oct 31, 2019
Allow CustomTypeErrors in type synonyms (+ evaluate nested type family?)

#12048 · opened May 12, 2016 by Icelandjack 5 Pnormal Trac import custom type errors feature request
- 5
updated Jul 07, 2019
Visible kind application

#12045 · opened May 11, 2016 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications TypeInType feature request ghc proposal
- CLOSED
- 18
updated Jul 07, 2019
Remove sortWith in favor of sortOn

#12044 · opened May 11, 2016 by Yuriy Syrovetskiy 5 Pnormal Trac import core libraries feature request newcomer
- CLOSED
- 7
updated Mar 27, 2020
GHCi Proposal: Display (Data.Kind.)Type instead of *

#12030 · opened May 07, 2016 by Icelandjack 8.6.1 5 GHCi Pnormal Trac import TypeInType feature request
- CLOSED
- 3
updated Jul 07, 2019
Notify user to import * from Data.Kind with TypeInType on

#12029 · opened May 07, 2016 by Icelandjack 0 GHCi Plow Trac import TypeInType feature request
- CLOSED
- 6
updated Jul 07, 2019
Order of constraints forced (in pattern synonyms, type classes in comments)

#12025 · opened May 07, 2016 by Icelandjack 5 Pnormal PatternSynonyms Trac import TypeApplications feature request typechecker
- CLOSED
- 10
updated Jul 07, 2019
GHC leaks GHC.Prim.~# into type

#12024 · opened May 07, 2016 by Icelandjack 8.2.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 4
updated Jul 07, 2019
unsafeShiftL and unsafeShiftR are not marked as INLINE

#12022 · opened May 06, 2016 by Rufflewind 5 Pnormal Trac import core libraries feature request runtime perf
- CLOSED
- 12
updated Jul 07, 2019
Error message on use of != should suggest use of /=

#12020 · opened May 06, 2016 by mhoermann 5 Pnormal Trac import feature request
- 3
updated Jul 07, 2019
Allow wildcards in type synonyms and data declarations

#12016 · opened May 05, 2016 by Icelandjack 0 Plow Trac import feature request parser
- 2
updated Jul 07, 2019

Prev
1
…
50
51
52
53
54
55
56
57
58
…
127
Next