DAP-ISSUE-142: Allow for infinite values in DeviceProximityEventInit dictionary [Proximity API]

DAP-ISSUE-142: Allow for infinite values in DeviceProximityEventInit dictionary [Proximity API]

http://www.w3.org/2009/dap/track/issues/142

Raised by: Dominique Hazaƫl-Massieux
On product: Proximity API

Given that DeviceProximityEvent has values that can be initialized to
either positive or negative infinity, the min, max and value attributes
(as well as the related dictionary members in DeviceProximityEventInit)
should be using "unrestricted double" instead of double.

http://lists.w3.org/Archives/Public/public-device-apis/2013Aug/0025.html

Received on Monday, 19 August 2013 15:12:29 UTC