Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Locked Files
Issues
4,253
Issues
4,253
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
395
Merge Requests
395
Requirements
Requirements
List
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Security & Compliance
Security & Compliance
Dependency List
License Compliance
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Code Review
Insights
Issue
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
3
Closed
204
All
207
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Manual
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
#line pragmas not respected inside nested comments
#314
· opened
Feb 28, 2005
by
nobody
8.8.1
5
P
normal
Trac import
bug
parser
CLOSED
16
updated
Jul 07, 2019
Some unicode symbols are not allow in literal characters or strings
#5518
· opened
Sep 28, 2011
by
ertai
8.8.1
5
P
normal
Trac import
Unicode
bug
CLOSED
14
updated
Nov 11, 2020
-fregs-graph still has a limit on spill slots
#8657
· opened
Jan 08, 2014
by
Simon Marlow
8.8.1
5
NCG backend
P
normal
Trac import
bug
compiler crash
CLOSED
3
15
updated
Jul 07, 2019
Kind annotation in tuple not parsed
#8708
· opened
Jan 27, 2014
by
Richard Eisenberg
8.8.1
5
P
normal
Trac import
bug
parser
CLOSED
4
updated
Jul 07, 2019
forM_ [1..N] does not get fused (allocates 50% more)
#8763
· opened
Feb 09, 2014
by
Niklas Hambüchen
8.8.1
5
P
normal
Trac import
bug
runtime perf
CLOSED
1
88
updated
May 21, 2020
Emit quantified Coercible constraints in GeneralizedNewtypeDeriving
#9123
· opened
May 19, 2014
by
Simon Peyton Jones
8.8.1
5
P
normal
Trac import
bug
CLOSED
66
updated
Jul 07, 2019
Implement late lambda-lifting
#9476
· opened
Aug 20, 2014
by
Simon Peyton Jones
8.8.1
5
P
normal
Trac import
feature request
late lambda lifting
CLOSED
76
updated
Jul 07, 2019
CPR related performance issue
#10069
· opened
Feb 09, 2015
by
pacak
8.8.1
5
P
normal
Trac import
bug
runtime perf
CLOSED
43
updated
Jul 07, 2019
\case should trigger auto-multiline mode in ghci
#10453
· opened
May 27, 2015
by
dmwit
8.8.1
5
P
normal
Trac import
feature request
CLOSED
3
updated
Jul 07, 2019
"ghci -XMonomorphismRestriction" doesn't turn on the monomorphism restriction
#10857
· opened
Sep 08, 2015
by
rwbarton
8.8.1
5
GHCi
P
normal
Trac import
bug
newcomer
CLOSED
13
updated
Jul 07, 2019
hsc2hs does not handle single quotes properly
#11004
· opened
Oct 22, 2015
by
Sergey Vinokurov
8.8.1
5
P
normal
Trac import
bug
external-hsc2hs
newcomer
CLOSED
9
updated
Jul 07, 2019
Template Haskell / GHCi does not respect extra-lib-dirs
#11042
· opened
Nov 01, 2015
by
Mathieu Boespflug
8.8.1
5
P
normal
Trac import
bug
CLOSED
34
updated
Jul 07, 2019
Add instance (Ix a, Read a, Read b) => Read (UArray a b)
#11335
· opened
Jan 01, 2016
by
rwbarton
8.8.1
5
P
normal
Trac import
feature request
CLOSED
2
updated
Jul 07, 2019
Turn on SplitSections by default
#11445
· opened
Jan 18, 2016
by
Edward Z. Yang
8.8.1
5
P
normal
Trac import
task
CLOSED
1
27
updated
Jul 07, 2019
Remove -Wamp
#11477
· opened
Jan 21, 2016
by
Ben Gamari
8.8.1
5
P
normal
Trac import
task
CLOSED
8
updated
Jul 07, 2019
Add -fshow-runtime-rep
#11549
· opened
Feb 06, 2016
by
Richard Eisenberg
8.8.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
20
updated
Jul 07, 2019
Annotating types in type familiy equations without parentheses
#11622
· opened
Feb 21, 2016
by
Icelandjack
8.8.1
5
P
normal
Trac import
bug
CLOSED
5
updated
Jul 07, 2019
GHCi does not honour implicit `module Main (main) where` for re-exported `main`s
#11647
· opened
Feb 26, 2016
by
Herbert Valerio Riedel
8.8.1
5
GHCi
P
normal
Trac import
bug
CLOSED
4
updated
Nov 03, 2019
Cannot use higher-rank kinds with type families
#11719
· opened
Mar 18, 2016
by
Ollie Charles
8.8.1
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
23
updated
Jul 07, 2019
Visible kind application
#12045
· opened
May 11, 2016
by
Icelandjack
8.8.1
5
P
normal
Trac import
TypeApplications
TypeInType
feature request
ghc proposal
CLOSED
18
updated
Jul 07, 2019
Bad error message for flags with required but missing arguments
#12625
· opened
Sep 26, 2016
by
dramforever
8.8.1
5
P
normal
Trac import
bug
CLOSED
3
updated
Jul 07, 2019
GHC doesn't handle ./ prefixed paths correctly
#12674
· opened
Oct 08, 2016
by
dobenour
8.8.1
5
P
normal
Trac import
bug
CLOSED
8
updated
Jul 07, 2019
AlternativeLayoutRule breaks LambdaCase
#13087
· opened
Jan 08, 2017
by
ohhellojoe
8.8.1
5
P
normal
Trac import
bug
parser
CLOSED
6
updated
Jul 07, 2019
Warn on out-of-range literals in pattern matches too
#13256
· opened
Feb 09, 2017
by
rwbarton
8.8.1
5
P
normal
Trac import
feature request
CLOSED
2
updated
Jul 07, 2019
Check known-key lists
#13279
· opened
Feb 13, 2017
by
David Feuer
8.8.1
5
P
normal
Trac import
bug
compiler perf
newcomer
task
CLOSED
8
updated
Jul 07, 2019
Incorrect behavior on arm64 with optimisations
#13513
· opened
Apr 02, 2017
by
achirkin
8.8.1
5
P
normal
Trac import
bug
incorrect runtime result
CLOSED
10
updated
Aug 10, 2019
GHC fails with "Dynamic linker not initialised" when -j is on and trying to load nonexistent .so file
#13531
· opened
Apr 05, 2017
by
Niklas Hambüchen
8.8.1
5
P
normal
Trac import
bug
compiler crash
CLOSED
6
updated
Sep 28, 2020
surprising error message with bang pattern
#13600
· opened
Apr 21, 2017
by
Andrew U. Frank
8.8.1
5
BangPatterns
P
normal
Trac import
bug
error messages
newcomer
15
updated
Dec 18, 2020
GHCi linker does not honor alignment of sections.
#13617
· opened
Apr 26, 2017
by
Ryan Scott
8.8.1
5
GHCi
P
normal
Trac import
bug
CLOSED
12
updated
Jul 07, 2019
TH-reified type family and data family instances have a paucity of kinds
#13809
· opened
Jun 09, 2017
by
Ryan Scott
8.8.1
5
P
normal
TemplateHaskell
Trac import
TypeFamilies
bug
CLOSED
8
updated
Jul 07, 2019
Optional "-v" not allowed with :load in GHCi
#13862
· opened
Jun 22, 2017
by
vanto
8.8.1
5
GHCi
P
normal
Trac import
bug
error messages
CLOSED
9
updated
Jul 07, 2019
Implement Explicit Foralls Proposal
#14268
· opened
Sep 21, 2017
by
johnleo
8.8.1
5
P
normal
Trac import
ghc proposal
task
CLOSED
14
updated
Jul 07, 2019
Let Template Haskell dynamically add something with which to link
#14298
· opened
Sep 29, 2017
by
Alec Theriault
8.8.1
5
P
normal
TemplateHaskell
Trac import
feature request
CLOSED
15
updated
Jul 07, 2019
ghci leaks memory
#14336
· opened
Oct 08, 2017
by
Neil Mitchell
8.8.1
5
GHCi
P
normal
Trac import
bug
runtime perf
CLOSED
27
updated
Jul 07, 2019
Type family equation refuses to unify wildcard type patterns
#14366
· opened
Oct 18, 2017
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeFamilies
TypeInType
bug
typechecker
CLOSED
8
updated
Jul 07, 2019
Make the simplifier independent of the typechecker
#14391
· opened
Oct 26, 2017
by
Joachim Breitner
8.8.1
5
P
normal
Trac import
newcomer
task
CLOSED
39
updated
Jul 07, 2019
`-optc-O3` getting shadowed by automatically injected -O flags
#14452
· opened
Nov 11, 2017
by
Herbert Valerio Riedel
8.8.1
5
P
normal
Trac import
bug
CLOSED
6
updated
Jul 07, 2019
Symlink resolving fails against SMB mounts
#14460
· opened
Nov 13, 2017
by
astert
8.8.1
5
P
normal
Trac import
bug
CLOSED
22
updated
Jul 07, 2019
GHCi ignores -XMonomorphismRestriction and -XNoExtendedDefaultRules
#14551
· opened
Dec 01, 2017
by
David Feuer
8.8.1
5
GHCi
P
normal
Trac import
bug
CLOSED
3
updated
Jul 07, 2019
qAddTopDecls: can't convert top-level declarations
#14627
· opened
Jan 02, 2018
by
tianxiaogu
8.8.1
5
P
normal
Trac import
bug
compiler crash
CLOSED
7
updated
Oct 08, 2020
normaliseType is not well-kinded
#14729
· opened
Jan 27, 2018
by
Richard Eisenberg
8.8.1
5
P
normal
Trac import
bug
CLOSED
3
13
updated
Jul 07, 2019
EmptyCase thinks pattern match involving type family is not exhaustive, when it actually is
#14813
· opened
Feb 16, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
bug
error messages
pattern match warnings
CLOSED
10
updated
Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check
#14887
· opened
Mar 03, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeFamilies
TypeInType
bug
typechecker
CLOSED
13
updated
Jul 07, 2019
ScopedTypeVariables could allow more programs
#15050
· opened
Apr 17, 2018
by
Joachim Breitner
8.8.1
5
P
normal
ScopedTypeVariables
Trac import
feature request
CLOSED
22
updated
Aug 19, 2020
EtaExpandLevPoly triggers a core lint error in profasm/profthreaded ways
#15066
· opened
Apr 19, 2018
by
Alp Mestanogullari
8.8.1
5
P
normal
Trac import
bug
CLOSED
2
updated
Jul 07, 2019
Typed hole with higher-rank kind causes GHC to panic (No skolem info)
#15076
· opened
Apr 22, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeInType
bug
compiler crash
typechecker
typed holes
CLOSED
10
updated
Jul 07, 2019
Unable to instantiate data members of kind Nat in backpack signatures.
#15138
· opened
May 10, 2018
by
Piyush P Kurur
8.8.1
5
P
normal
Trac import
backpack
bug
CLOSED
8
updated
Jul 07, 2019
decideKindGeneralisationPlan is too complicated
#15141
· opened
May 11, 2018
by
Simon Peyton Jones
8.8.1
5
P
normal
Trac import
bug
CLOSED
4
updated
Jul 07, 2019
Avoid word "transformer" in the documentation of ST
#15189
· opened
May 27, 2018
by
Artem Pelenitsyn
8.8.1
5
P
normal
Trac import
documentation
feature request
newcomer
CLOSED
6
updated
Jul 07, 2019
Invert floating point comparisons such that no extra parity check is required.
#15196
· opened
May 30, 2018
by
Andreas Klebinger
8.8.1
5
NCG backend
P
normal
Trac import
code generation
task
CLOSED
6
updated
Sep 28, 2020
bad dwarf frame in stgRun.c when compiled with with gcc on mac and assembled by as/gcc/clang (aka apple clang assembler)
#15207
· opened
May 31, 2018
by
Carter Schonwald
8.8.1
5
P
normal
RTS
Trac import
bug
debug information
macOS
CLOSED
47
updated
Apr 15, 2020
GHC 8.4 fails to build on Debian armel (softfloat)
#15208
· opened
May 31, 2018
by
clint
8.8.1
5
P
normal
Trac import
bug
CLOSED
5
4
updated
Apr 11, 2020
failure to build pandoc on Debian armhf
#15221
· opened
Jun 03, 2018
by
clint
8.8.1
5
P
normal
Trac import
bug
CLOSED
5
updated
Jul 07, 2019
You can always set fixity of (:), with no effect
#15233
· opened
Jun 05, 2018
by
Icelandjack
8.8.1
5
P
normal
Trac import
bug
CLOSED
3
updated
Jul 07, 2019
GHCi's claim of infixr 0 (->) is a lie
#15235
· opened
Jun 06, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
bug
newcomer
CLOSED
9
updated
Dec 05, 2019
Is there an issue with Haskell GHC 8.4.3 on Travis?
#15239
· opened
Jun 06, 2018
by
Orome
8.8.1
5
P
normal
Trac import
bug
CLOSED
5
updated
Jul 07, 2019
-fghci-leak-cheak causes many testsuite failures with the quick build flavour
#15246
· opened
Jun 07, 2018
by
Ryan Scott
8.8.1
5
GHCi
P
normal
Trac import
bug
CLOSED
6
updated
Jul 07, 2019
Show -with-rtsopts options in runtime's --info
#15261
· opened
Jun 11, 2018
by
Ömer Sinan Ağacan
8.8.1
5
P
normal
Trac import
feature request
CLOSED
4
updated
Jul 07, 2019
Fuse zipWith3
#15263
· opened
Jun 11, 2018
by
Richard Eisenberg
8.8.1
5
P
normal
Trac import
bug
CLOSED
6
updated
Jul 07, 2019
Add -Werror=compat, enable it in the testsuite
#15278
· opened
Jun 17, 2018
by
Vladislav Zavialov
8.8.1
5
P
normal
Trac import
task
CLOSED
2
updated
Jul 07, 2019
ghc_ticker loops if permission denied on timerfd
#15292
· opened
Jun 19, 2018
by
jon.fairbairn@cl.cam.ac.uk
8.8.1
5
P
normal
Trac import
bug
runtime crash
CLOSED
4
updated
Jul 07, 2019
Sentence is about Complex type but mentions Simple constructor
#15296
· opened
Jun 21, 2018
by
Sasa
8.8.1
5
P
normal
Trac import
bug
documentation
CLOSED
3
updated
Jul 07, 2019
Erroneous "non-exhaustive pattern match" using nested GADT with strictness annotation
#15305
· opened
Jun 23, 2018
by
jkoppel
8.8.1
5
P
normal
Trac import
bug
error messages
pattern match warnings
typechecker
CLOSED
15
updated
Sep 22, 2020
MCoercion lacks an Outputable instance
#15311
· opened
Jun 25, 2018
by
Matthew Pickering
8.8.1
5
P
normal
Trac import
newcomer
task
CLOSED
2
updated
Jul 07, 2019
Configurable/overridable settings file
#15319
· opened
Jun 28, 2018
by
Mathieu Boespflug
8.8.1
5
P
normal
Trac import
feature request
CLOSED
6
updated
Sep 29, 2020
GHCi panic in getIdFromTrivialExpr with -fdefer-type-errors
#15325
· opened
Jun 30, 2018
by
dramforever
8.8.1
5
P
normal
Trac import
bug
compiler crash
CLOSED
4
updated
Nov 18, 2020
Error message prints invisible kind arguments in a visible matter
#15330
· opened
Jul 02, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeInType
bug
error messages
typechecker
CLOSED
7
updated
Jul 07, 2019
lintIdUnfolding could be simpler
#15332
· opened
Jul 02, 2018
by
Matthew Pickering
8.8.1
5
P
normal
Trac import
task
CLOSED
2
updated
Jul 07, 2019
(forall x. c x, forall x. d x) is not equivalent to forall x. (c x, d x)
#15334
· opened
Jul 02, 2018
by
Ryan Scott
8.8.1
5
P
normal
QuantifiedConstraints
Trac import
bug
typechecker
CLOSED
13
updated
Aug 05, 2019
./System/IO.hs accidentally overridden when running ghci
#15336
· opened
Jul 03, 2018
by
luqui
8.8.1
5
GHCi
P
normal
Trac import
bug
CLOSED
11
updated
Aug 10, 2019
Mark -XAutoDeriveTypeable as deprecated
#15342
· opened
Jul 04, 2018
by
Krzysztof Gogolewski
8.8.1
5
P
normal
Trac import
bug
CLOSED
2
updated
Jul 07, 2019
Make nofib suitable for runtime measurements.
#15357
· opened
Jul 09, 2018
by
Andreas Klebinger
8.8.1
5
P
normal
Trac import
nofib
task
CLOSED
12
updated
Jul 07, 2019
Quantified constraints do not work with equality constraints
#15359
· opened
Jul 11, 2018
by
Richard Eisenberg
8.8.1
5
P
normal
QuantifiedConstraints
Trac import
bug
CLOSED
16
updated
Jul 07, 2019
Template Haskell splicing drops lots of type arguments
#15360
· opened
Jul 11, 2018
by
Richard Eisenberg
8.8.1
5
P
normal
TemplateHaskell
Trac import
bug
CLOSED
3
updated
Jun 13, 2020
Template Haskell ignores bad type family definitions
#15362
· opened
Jul 11, 2018
by
Richard Eisenberg
8.8.1
5
P
normal
TemplateHaskell
Trac import
bug
CLOSED
3
updated
Jul 07, 2019
Type families, holes and -fdefer-type-errors may cause 'opt_univ fell into a hole' panic
#15368
· opened
Jul 12, 2018
by
dramforever
8.8.1
5
P
normal
Trac import
bug
compiler crash
CLOSED
7
updated
Jul 07, 2019
GHCi doesn't honor ':set +c' when loading, for a second time, a file that has .hi/.o
#15369
· opened
Jul 12, 2018
by
dramforever
8.8.1
5
P
normal
Trac import
bug
CLOSED
4
updated
Jul 07, 2019
Eventlog framework outputs environment variables which may cause a security issue
#15371
· opened
Jul 13, 2018
by
Mitsutoshi Aoe
8.8.1
5
P
normal
RTS
Trac import
feature request
CLOSED
6
updated
Jul 07, 2019
core-spec.pdf contains parse errors
#15373
· opened
Jul 13, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
bug
CLOSED
4
updated
Jul 07, 2019
Don't reject user-written instances of KnownNat and friends in hsig files
#15379
· opened
Jul 14, 2018
by
Edward Z. Yang
8.8.1
5
P
normal
Trac import
backpack
bug
CLOSED
21
updated
Jul 07, 2019
`elemIndex` and `findIndex` still can't fuse
#15426
· opened
Jul 20, 2018
by
KevinBuhr
8.8.1
5
P
normal
Trac import
bug
core libraries
CLOSED
11
updated
Jul 07, 2019
ghc panic when running GI.init on intero REPL
#15443
· opened
Jul 27, 2018
by
esclerofilo
8.8.1
5
GHCi
P
normal
Trac import
bug
CLOSED
3
updated
Jul 07, 2019
Mark the core libraries' internal modules "not-home" instead of "hide"
#15447
· opened
Jul 27, 2018
by
Simon Jakobi
8.8.1
5
P
normal
Trac import
core libraries
haddock
task
CLOSED
3
updated
Jul 07, 2019
(~) and (!) are parsed inconsistently in types (plus documentation warts)
#15457
· opened
Jul 30, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
bug
parser
CLOSED
4
updated
Jul 07, 2019
Literals overflow
#15460
· opened
Jul 31, 2018
by
Sylvain Henry
8.8.1
5
P
normal
Trac import
bug
incorrect runtime result
CLOSED
6
updated
Jul 07, 2019
Polymorphism, typed splices and type inference don't mix
#15471
· opened
Aug 03, 2018
by
Matthew Pickering
8.8.1
5
P
normal
TemplateHaskell
Trac import
bug
typed TemplateHaskell
CLOSED
18
updated
Jul 07, 2019
Add -fwarn-star-is-type to -Wcompat
#15476
· opened
Aug 04, 2018
by
Vladislav Zavialov
8.8.1
5
P
normal
Trac import
bug
CLOSED
2
updated
Jul 07, 2019
ghc-pkg package config validation too strict
#15478
· opened
Aug 05, 2018
by
Mathieu Boespflug
8.8.1
5
P
normal
Trac import
bug
CLOSED
3
updated
Jul 07, 2019
Bogus "No instance" error when type families appear in kinds
#15515
· opened
Aug 13, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeFamilies
TypeInType
bug
error messages
typechecker
CLOSED
7
updated
Jul 07, 2019
-O0 and pattern synonyms triggers panic in trimJoinCont
#15517
· opened
Aug 14, 2018
by
Simon Jakobi
8.8.1
5
P
normal
Trac import
bug
compiler crash
CLOSED
8
updated
Jul 07, 2019
Explain or remove mystery import in Unsafe.Coerce
#15526
· opened
Aug 15, 2018
by
David Feuer
8.8.1
5
P
normal
Trac import
core libraries
newcomer
task
CLOSED
5
updated
Jul 07, 2019
Core Lint error with EmptyCase
#15549
· opened
Aug 21, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeFamilies
TypeInType
bug
compiler crash
typechecker
CLOSED
3
9
updated
Jul 07, 2019
TH-reified type classes have redundant tyvars/class constraints on each method
#15551
· opened
Aug 21, 2018
by
Ryan Scott
8.8.1
5
P
normal
TemplateHaskell
Trac import
bug
CLOSED
4
updated
Jul 07, 2019
Infinite loop/panic with an existential type.
#15552
· opened
Aug 21, 2018
by
howtonotwin
8.8.1
5
P
normal
Trac import
bug
compiler crash
CLOSED
17
updated
Jul 07, 2019
Finish separating the stable name and stable pointer tables
#15555
· opened
Aug 22, 2018
by
David Feuer
8.8.1
5
P
normal
RTS
Trac import
task
CLOSED
6
updated
Sep 28, 2020
fromJust has no HasCallStack
#15559
· opened
Aug 23, 2018
by
Joachim Breitner
8.8.1
5
P
normal
Trac import
core libraries
feature request
newcomer
CLOSED
1
9
updated
Aug 08, 2019
Kind variables in type family aren't quantified in toposorted order
#15568
· opened
Aug 26, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeApplications
TypeFamilies
bug
CLOSED
3
updated
Jul 07, 2019
nonVoid is too conservative w.r.t. strict argument types
#15584
· opened
Aug 30, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
bug
error messages
pattern match warnings
CLOSED
4
updated
Jul 07, 2019
Inconsistent kind variable binder visibility between associated and non-associated type families
#15591
· opened
Sep 01, 2018
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeApplications
TypeFamilies
bug
CLOSED
12
updated
Jul 07, 2019
Type families without CUSKs cannot be given visible kind variable binders
#15592
· opened
Sep 01, 2018
by
Ryan Scott
8.8.1
5
CUSKs
P
normal
Trac import
TypeApplications
TypeFamilies
bug
CLOSED
21
updated
Jul 07, 2019
Prev
1
2
3
Next