issues
search
clash-lang
/
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Other
14
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The plugin sometimes doesn't look through type aliases
#53
leonschoorl
opened
2 months ago
3
Add support for GHC 9.11.20240522
#52
christiaanb
opened
3 months ago
0
Add support for GHC 9.10
#51
christiaanb
closed
3 months ago
0
Use TemplateHaskellQuotes for Name lookup
#50
bgamari
closed
4 months ago
0
Don't look for offsets from constants
#49
christiaanb
closed
5 months ago
0
Test GHC-9.8.1 in CI
#48
christiaanb
closed
11 months ago
0
Mark instances NOINLINE
#47
christiaanb
closed
10 months ago
3
Add support for GHC 9.8.1-alpha1
#46
christiaanb
closed
1 year ago
0
Record rewrites when doing offset calculations
#45
christiaanb
closed
1 year ago
0
Update to ghc 9.6
#44
Mikolaj
closed
1 year ago
0
EXPERIMENT: Use transitive closure of tyvar substitutions
#43
rowanG077
opened
2 years ago
2
Intermediate type variable stops derivation of `KnownNat` constraint
#42
rowanG077
opened
2 years ago
2
Add support for GHC 9.4.1
#41
christiaanb
closed
1 year ago
5
Add support for GHC 9.2.0.20210422
#40
christiaanb
closed
3 years ago
0
Actually run the tests on GHA
#39
christiaanb
closed
3 years ago
0
Move CI to GHA
#38
christiaanb
closed
3 years ago
3
Add support for ghc-9.0.1-rc1
#37
christiaanb
closed
3 years ago
0
Use shiftL(Natural/Integer) instead of Bits.shiftL
#36
christiaanb
closed
4 years ago
0
Use flattened type for constructed KnownNat evidence
#35
christiaanb
closed
4 years ago
0
Use universal coercion to work around weird GHC bug
#34
christiaanb
closed
4 years ago
1
Release 072
#33
christiaanb
closed
4 years ago
0
Add support for GHC-8.10.0
#32
christiaanb
closed
4 years ago
0
Only solve variable offset when we have a [G]iven knownnat
#31
christiaanb
closed
4 years ago
0
Plugin loops between two unknowns
#30
christiaanb
closed
4 years ago
0
Infinite loop in the solver
#29
basile-henry
closed
4 years ago
0
Using the solver seems to break GHC
#28
kozross
closed
5 years ago
1
Update template-haskell bounds to work with GHC-8.8
#27
leonschoorl
closed
5 years ago
0
Up upper bound on ghc-typelits-natnormalise
#26
christiaanb
closed
5 years ago
0
Could not deduce KnownNat n from the context: 4 ~ (1 + n)
#25
sheaf
closed
5 years ago
1
Update Travis script
#24
leonschoorl
closed
5 years ago
0
Add KnownBool class and friends
#23
christiaanb
closed
5 years ago
0
Release the version with support of `8.6` on Hackage?
#22
vrom911
closed
6 years ago
1
Could not deduce (Typeable (n + 1)) with GHC-8.4.3
#21
chshersh
opened
6 years ago
2
Use `ghc-typelits-natnormalise-0.6`
#20
christiaanb
closed
6 years ago
0
Inferred constraint is too strong
#19
andygill
closed
6 years ago
1
Support for GHC 8.4.1
#18
christiaanb
closed
6 years ago
0
Loosen template-haskell upper bound to make compatible with GHC 8.4.1
#17
konn
closed
6 years ago
0
Use cabal new-build on travis
#16
christiaanb
closed
6 years ago
0
Compilation flag to build without singletons
#15
int-index
closed
6 years ago
3
Restrict singletons dependency to <2.4
#14
mheinzel
closed
7 years ago
0
Type equality constraints aren't used by solver
#13
gergoerdi
opened
7 years ago
8
KnownNatN instances are unsafe (in some cases).
#12
nshepperd
opened
7 years ago
3
Implement support for unary arithmetic functions
#11
nshepperd
closed
7 years ago
2
KnownNat (x*y*x) erroneously solved to KnownNat (x^2)
#10
christiaanb
closed
7 years ago
1
Typo
#9
ggreif
closed
8 years ago
0
Simplify `examine` even further
#8
ggreif
closed
8 years ago
2
Try svg
#7
ggreif
closed
8 years ago
0
Typo
#6
ggreif
closed
8 years ago
0
Testcase for issue 2
#5
ggreif
closed
8 years ago
2
Markup
#4
ggreif
closed
8 years ago
0
Next