search

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Plugin silently fails when normalizing `<=` in GHC 9.4+ #50

Open christiaanb opened 5 months ago

christiaanb commented 5 months ago 
test58a
  :: 1 <= n
  => Proxy n
  -> Proxy n
test58a = id

test58b
  :: Proxy (Max (n+2) 1)
  -> Proxy (Max (n+2) 1)
test58b = test58a

fails silently