search

clash-lang / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints
Other
14 stars 10 forks source link

Only solve variable offset when we have a [G]iven knownnat #31

Closed christiaanb closed 5 years ago

christiaanb commented 5 years ago

Fixes #30 Fixes clash-lang/clash-compiler#608