-
Notifications
You must be signed in to change notification settings - Fork 164
Open
Description
It fails due to the name of GHC.TypeNats.KnownNat being changed to GHC.Internal.TypeNats.KnownNat while it's hardcoded in deriveAutoReg, which gives the error:
Missing instance GHC.Internal.TypeNats.KnownNat (Protocols.MsgDataLen cfg_0)
clash-compiler/clash-prelude/src/Clash/Class/AutoReg/Internal.hs
Lines 348 to 354 in ae0460f
| constraintsWantedFor :: Name -> [Type] -> Q Cxt | |
| constraintsWantedFor clsNm tys | |
| | show clsNm == "GHC.TypeNats.KnownNat" = do | |
| -- KnownNat is special, you can't just lookup instances with reifyInstances. | |
| -- So we just pass KnownNat constraints. | |
| -- This will most likely require UndecidableInstances. | |
| return [conAppsT clsNm tys] |
Metadata
Metadata
Assignees
Labels
No labels