referencing record of elements 10 Jul 2012 12:44 #6186


Rendering Error in layout Message/Item: array_keys(): Argument #1 ($array) must be of type array, null given. Please enable debug mode for more information.

Please Log in to join the conversation.

Last edit: by Denis Filatov.

referencing record of elements 13 Jul 2012 06:49 #6187

I have to apologise that the discussion disappeared from the mailing
list. It was my fault as I replied only to Jacob Wieland.
Here it comes again.

BR.,
Uwe

Please Log in to join the conversation.

Last edit: by Denis Filatov.
Welcome, Guest
Username: Password:

referencing record of elements 16 Jul 2012 07:02 #6188


Rendering Error in layout Message/Item: array_keys(): Argument #1 ($array) must be of type array, null given. Please enable debug mode for more information.

Please Log in to join the conversation.

Last edit: by Denis Filatov.

referencing record of elements 16 Jul 2012 08:48 #6189

Hello,

I don't think it should be allowed, or, if it is allowed, it should yield the semantic equivalent of { ?, 2, 3 }.

It should definitely not yield the semantics of { *, 2, 3 } as that would totally change the semantics of the from AnyElementOrNone to AnyElementsOrNone.

The ? has the same semantics as integer:* in a context where no omit can occur (as is the case in a record of).

BR, Jacob Wieland

Please Log in to join the conversation.

Last edit: by Denis Filatov.

referencing record of elements 16 Jul 2012 09:38 #6194

Do you think I should raise a CR for this?
Though the semantic equivalent should be rather {? ifpresent, 2, 3} as
each element of a recordof can be regarded as being optional

BR.,
Uwe

Please Log in to join the conversation.

Last edit: by Denis Filatov. Reason: Remove original message

referencing record of elements 16 Jul 2012 09:43 #7798

Once, I thought so, too. But this view is not standard conform. An element of a record of value is either undefined or defined, never omit (though the distinction between omit and undefined is largely academic ;-))

So, yes, implicitly, it would be '? ifpresent', but since the ifpresent part has no effect inside a recordof as no field can be omit, this is equivalent to simply '?'.

If that is not clear from the standard, then a CR for clarification is warranted.

BR, Jacob Wieland

Please Log in to join the conversation.

Last edit: by Denis Filatov.

referencing record of elements 16 Jul 2012 10:32 #7799


Rendering Error in layout Message/Item: array_keys(): Argument #1 ($array) must be of type array, null given. Please enable debug mode for more information.

Please Log in to join the conversation.

Last edit: by Denis Filatov.
  • Page:
  • 1
Powered by Kunena Forum