abab9579 (Sep 05 2022 at 06:21): abab9579 (Sep 05 2022 at 06:21):Hello, just trying out HB for usage with ssreflect. Is it impossible to declare mixins towards non-HB mixin records?
When I tried, it just listed the parent mixin as a parameter - it did not recognize the mixin.
Pierre Roux (Sep 05 2022 at 07:13):Building HB hierarchies on top of non HB ones is not impossible but is very hackish. I certainly wouldn't recommend it.
abab9579 (Sep 05 2022 at 07:17):I see, so would I better align with the non-HB hierarchy in this case?
Enrico Tassi (Sep 05 2022 at 08:07):What do you mean by "ssreflect"? The mathcomp library?
abab9579 (Sep 05 2022 at 08:13):My bad, I thought ssreflect was the name of the library. I meant libraries of https://math-comp.github.io/ .
Enrico Tassi (Sep 05 2022 at 08:15):Then we are porting them to HB, see https://github.com/math-comp/math-comp/pull/733
Enrico Tassi (Sep 05 2022 at 08:16):and along with it MC analysis & co
abab9579 (Sep 05 2022 at 09:38):Sounds great! Looking forward to the update.
Notification Bot (Sep 11 2022 at 12:28):abab9579 has marked this topic as resolved.
Last updated: Dec 06 2023 at 14:01 UTC