issues
search
goldfirere
/
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
http://www.haskell.org/ghc/
Other
24
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Explicit specificity
#74
goldfirere
opened
6 years ago
3
Explicit specificity
#73
goldfirere
closed
6 years ago
1
Explicit specificity
#72
goldfirere
closed
6 years ago
1
Panic with dependent composition
#71
goldfirere
opened
8 years ago
0
Inferring extra parameters
#70
goldfirere
opened
8 years ago
0
Not in scope while type-checking
#69
goldfirere
opened
8 years ago
0
Kind synonym hangs
#68
goldfirere
opened
8 years ago
1
[Feature Request] Visible Forall
#67
int-index
opened
8 years ago
1
TcEvidence: Import Control.Applicative
#66
bgamari
closed
8 years ago
1
GHC hangs on GADT with lifted recursive occurrence
#65
AndrasKovacs
opened
8 years ago
0
Fix type-level indexed STLC
#64
goldfirere
opened
8 years ago
3
Testsuite issues
#63
bgamari
closed
8 years ago
1
Update tests
#62
bgamari
closed
8 years ago
0
Fix various haddock issues
#61
bgamari
closed
8 years ago
1
Levity-polymorphic type synonym doesn't work
#60
goldfirere
opened
8 years ago
0
Bad interface file
#59
vladfi1
closed
8 years ago
12
Panic with GHC.TypeLits
#58
vladfi1
opened
8 years ago
1
Unpack lifted equalities for use in types
#57
goldfirere
opened
8 years ago
0
Self quantification in data declarations
#56
RafaelBocquet
opened
8 years ago
2
Build is broken (on Windows)
#55
awson
closed
8 years ago
4
Can't build singletons >= 2
#54
int-index
closed
8 years ago
10
Look harder for * in datatype declarations
#53
goldfirere
closed
8 years ago
3
Terrible error message from ->/~> confusion
#52
goldfirere
opened
8 years ago
1
Panic with pattern synonym
#51
goldfirere
opened
8 years ago
0
Failure to generalize kind in type synonym
#50
goldfirere
opened
8 years ago
0
:k fails with higher-rank kind
#49
goldfirere
closed
8 years ago
2
Breakage from dynamic paper
#48
goldfirere
opened
8 years ago
0
Kenny's ScopedTypeVariables workaround requires help with variable ordering
#47
goldfirere
closed
8 years ago
3
Order matters in `forall`
#46
goldfirere
closed
8 years ago
2
Deal gracefully with promoted constrained constructors
#45
goldfirere
opened
8 years ago
0
Missing subst in instance declarations
#44
goldfirere
opened
8 years ago
0
Wrong kind for unboxed tuple in GHCi
#43
goldfirere
opened
8 years ago
0
Need quote mark in kind
#42
goldfirere
opened
8 years ago
0
-fprint-explicit-foralls should work with kinds
#41
goldfirere
opened
8 years ago
0
More tweaking of Nix instructions
#40
deepfire
closed
8 years ago
1
Typed holes can make ghc panic
#39
RafaelBocquet
opened
9 years ago
0
Kind unification error (or unhelpful error message ?)
#38
RafaelBocquet
opened
9 years ago
4
Haddock build failure with default build scenario
#37
deepfire
opened
9 years ago
1
git: absolutize subrepo urls, easing drop-in usage of alternate repositories
#36
deepfire
closed
9 years ago
1
Wrong GHC submodule URLs complicate drop-in replacement usage
#35
deepfire
closed
9 years ago
6
ASSERT failure in TyCoRep
#34
goldfirere
opened
9 years ago
0
Need to do instance dependency analysis
#33
goldfirere
opened
9 years ago
0
Errors when defining Sigma
#32
RafaelBocquet
closed
9 years ago
1
type family applications in kinds are not (always) reduced
#31
RafaelBocquet
closed
9 years ago
7
Build failure
#30
edsko
closed
9 years ago
2
Type-level GADT inference failure
#29
goldfirere
opened
9 years ago
0
Higher-rank type families
#28
goldfirere
opened
9 years ago
0
Looping in System F encoding
#27
goldfirere
opened
9 years ago
0
Need to rename constructors in kinds
#26
goldfirere
closed
8 years ago
2
assertion failure (in incorrect code)
#25
sweirich
opened
9 years ago
1
Next