issues
search
IaFP
/
ghc
A slightly more Glorious Haskell Compiler
Other
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Solver is too weak to solve wd constraints
#44
fxdpntthm
opened
2 years ago
0
Performance Impact
#43
fxdpntthm
opened
2 years ago
1
Pattern matching on data constructors with Rank N functions
#42
fxdpntthm
opened
2 years ago
0
Hackage technical debt
#41
ahubers
opened
2 years ago
0
Something is amuck with template-haskell
#40
ahubers
opened
2 years ago
1
unknown extension: PartialTypeConstructors when adding PTC as `other-extension:` field in .cabal
#39
ahubers
closed
2 years ago
6
[Do not Merge] Measuring Annotation Impact
#38
ahubers
opened
2 years ago
1
Close #36: Rename WF to WD
#37
ahubers
closed
2 years ago
0
Rename "well formedness" constraints to "well-definedness" constraints
#36
ahubers
closed
2 years ago
0
Tc gets in an Infinite `Loop`
#35
fxdpntthm
opened
2 years ago
2
Store argument well formed-ness constraints in Data constructor representation type
#34
fxdpntthm
opened
2 years ago
1
Well formedness of Associated data type
#33
fxdpntthm
opened
2 years ago
0
Measuring impact
#32
ahubers
opened
2 years ago
0
Fix `tests/indexed-types/`
#31
ahubers
opened
2 years ago
1
Importing data family assoicated types cases finger printing error
#30
fxdpntthm
closed
2 years ago
0
Automatic Deriving for Partial Type constructors
#29
fxdpntthm
closed
2 years ago
1
To Reduce or Not to Reduce
#28
fxdpntthm
closed
2 years ago
3
Type Families which are clearly total
#27
ahubers
closed
2 years ago
8
Typefamily instance support in boot files
#26
fxdpntthm
opened
2 years ago
1
Problems with elaboration in Boot files
#25
fxdpntthm
closed
2 years ago
1
Closed tfs
#24
ahubers
closed
2 years ago
1
False positive warnings for no explicit declaration of `$wf'` associated types
#23
fxdpntthm
closed
2 years ago
0
Injective Open Type families
#20
fxdpntthm
closed
2 years ago
0
Data Families
#19
fxdpntthm
closed
2 years ago
1
Closed Type Families
#18
fxdpntthm
closed
2 years ago
1
Recursive Definitions problem (TcTyCon vs TyCon)
#17
fxdpntthm
closed
2 years ago
1
Regression Test Suite
#16
ahubers
opened
2 years ago
0
Associated TFs
#15
ahubers
closed
2 years ago
2
Import/export confusion with WF_ families and incompletely explored families
#14
jgbm
closed
2 years ago
1
Open tfs 10 DIFF
#13
ahubers
closed
2 years ago
1
Corelint barfs while compiling GHC.Generics
#12
fxdpntthm
closed
2 years ago
8
PTFS: Associated type families
#11
ahubers
closed
2 years ago
1
Port open TF support to GHC 9
#10
ahubers
closed
2 years ago
1
Haskeline's runCommandLoop
#9
fxdpntthm
opened
2 years ago
1
PTFs : Recursive instances
#22
ahubers
closed
2 years ago
1
Support Partial Data Families
#8
ahubers
closed
2 years ago
1
PTFs : Closed type families
#21
ahubers
closed
2 years ago
6
Alex Onboarding
#7
ahubers
closed
2 years ago
0
Transition from GitLab to GitHub
#6
jgbm
closed
2 years ago
1
Partial type constructors
#5
jgbm
opened
2 years ago
1
Support partial type synonyms
#4
jgbm
opened
2 years ago
4
Support partial type families
#3
jgbm
closed
2 years ago
5
Support partial `newtype`s
#2
jgbm
closed
2 years ago
8
Support partial `data` type constructors
#1
jgbm
closed
2 years ago
2