J3/15-202
To: J3
Subject: Allow mixed-kind in SIGN functions
From: Van Snyder & Dan Nagle & Steve Lionel
Date: 2015 August 05
Reference: 15-007r1, 15-108r2
1. Introduction
===============
In the SIGN function, the only interesting part of the value of the
second argument is its sign. It therefore doesn't seem necessary that
the arguments are required to have the same kind.
2. Proposal
===========
The arguments of SIGN are not required to have the same kind.
3. Draft Edits
==============
[Introduction, under "Intrinsic Functions"] Insert list item
"-- The B argument to the SIGN function is not required to have the
same kind type parameter as the A argument.
"
{remove the offending restriction}
[402:15 13.8.167p3] Remove "and kind type parameter".