Jacques Carette
Jacques Carette
Seems to have been introduced in #1413 #1416 and #1420 .
As discussed at the meeting, this is part of a bigger design question. A `Unital` is really an instance of its underlying `Concept`; so the `Concept` should be "by reference"...
I would be fine with system-assigned UIDs. That would prevent people from abusing them. We should still have UIDs give us more information though - I'm thinking type-like information here....
I don't like putting things in issues, because that is fleeting. I prefer to have more information, especially design information, on the wiki.
A (now deleted / edited) comment said: > Do you think it is a good idea to split the CommonPseudoOO file into CommonOO, CommonDocs, CommonTypes.. ? This way I can...
Also: I'll do a full review once the CI passes.
Please push your partial work (that gives the above error) to a branch onto the repo. That way I can go into the details and see what the problem is.
How is it coming along? This is perhaps also a lesson in doing refactors in small pieces instead of trying to jump to the desired end-state all at once. [If...
I came here to ask the same question!
Instances in Haskell don't work that way. The left hand side (LHS) are in the context of defining methods of `OOVariableSym` and the rhs from the current context. So `classVar...