You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Implement some sort of downcasting facility to shorten compile errors. Now P4 is expanded to PInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>>. It would be nice to have struct Plus4, which would be converted to PInt<...> for computation & then converted back to another strong alias.
Implementation will likely involve fighting orphan rule & using macros.