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


Help: OASIS Mailing Lists Help | MarkMail Help

odata message

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

Subject: [OASIS Issue Tracker] (ODATA-919) Specify the result type for each operation based on operator types

    [ https://issues.oasis-open.org/browse/ODATA-919?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=66769#comment-66769 ] 

Ralf Handl commented on ODATA-919:

Public Review Comment from Steve Lay: https://lists.oasis-open.org/archives/odata-comment/201707/msg00002.html, see also ODATA-1091:

The idea of doing general type promotion to the largest integer type makes sense to me, if the result overflows Int64 then you’d get null (according to my proposal) which is freely castable to any of the integer types.

But I propose that Single operations that overflow Single results should be promoted to Double in a similar way.  The definition of cast will need to be modified to allow for the cast of a Double to Single with overflow resulting in INF (not a failed cast).  The proposed difference between the way integers and floating point numbers behave in this respect is precisely because the latter can represent INF.

> Specify the result type for each operation based on operator types
> ------------------------------------------------------------------
>                 Key: ODATA-919
>                 URL: https://issues.oasis-open.org/browse/ODATA-919
>             Project: OASIS Open Data Protocol (OData) TC
>          Issue Type: Improvement
>          Components: URL Conventions
>    Affects Versions: V4.0_OS
>            Reporter: Martin Zurmuehl
>            Assignee: Ralf Handl
>             Fix For: V4.02_WD01
> See ODATA-785 for a description of the issue --> Comments Section.

This message was sent by Atlassian JIRA

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