OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

office message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: [OASIS Issue Tracker] Commented: (OFFICE-2326) Treat all typesequally, i.e., no pseudotypes

    [ http://tools.oasis-open.org/issues/browse/OFFICE-2326?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17830#action_17830 ] 

Dennis Hamilton commented on OFFICE-2326:

Andreas, I am happy to learn that Error Values are not included under any other types.   I don't think they should be but I couldn't mind-read through the parts that suggest they are a subtype of everything.

Andreas, it appears that in many cases it is implicit that an error value or a value of a specific type can occur as a parameter and also one or the other can be considered a produced result.  That is not at all unlike a union type.   We don't need to introduce the notion formally, but we probably need to be clear about it.  I suppose, for example, that even ISERR(...) and ISERROR(...) can fail on their own.

David, functions definition are often pretty silent about when and whether an error value is returned, especially since sometimes there is an effort to not constrain an implementation.  I'm with you in spirit, but execution is a little spotty on this one.

> Treat all types equally, i.e., no  pseudotypes
> ----------------------------------------------
>                 Key: OFFICE-2326
>                 URL: http://tools.oasis-open.org/issues/browse/OFFICE-2326
>             Project: OASIS Open Document Format for Office Applications (OpenDocument) TC
>          Issue Type: Improvement
>          Components: OpenFormula
>            Reporter: Patrick Durusau
>            Assignee: Patrick Durusau
>             Fix For: ODF 1.2 Part 2 CD 2
> We currently have types and  pseudotypes. The latter does not appear to serve any meaningful role. 

This message is automatically generated by JIRA.
If you think it was sent incorrectly contact one of the administrators: http://tools.oasis-open.org/issues/secure/Administrators.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]