Stream: implementers
Topic: Reference to Person
Stefan Lang (Aug 30 2018 at 07:00):
In the resolution GF#17760 @Lloyd McKenzie states that a Person is never an actor, which of course is in sync with the definition of Person.
But Contract allows references to Person in multiple elements. So is this a valid exemption and if yes: why? Or is this a misconception in Contract?
Lloyd McKenzie (Aug 30 2018 at 07:10):
That's a prohibited use. Thanks for flagging it. I've raised GF#17770. @Paul Knapp - for your attention.
Stefan Lang (Aug 30 2018 at 07:12):
thanks
Paul Knapp (Aug 31 2018 at 15:19):
Yes will remove, thanks.
Brian Postlethwaite (Sep 01 2018 at 06:13):
I thought we had a build error hooked to that one.
Lloyd McKenzie (Sep 01 2018 at 19:39):
Apparently not. Feel free to submit a change request :)
Lloyd McKenzie (Sep 01 2018 at 19:40):
Invariant on Reference?
Brian Postlethwaite (Sep 04 2018 at 03:12):
Nope, I'd suggest hard error validating the core build. Not an invariant for examples.
Last updated: Apr 12 2022 at 19:14 UTC
