[heycam/webidl] Rename the 'float' production to 'real'. (#616)

This should prevent confusion between the production and the keyword. Fixes #558.
You can view, comment on, or merge this pull request online at:

  https://github.com/heycam/webidl/pull/616

-- Commit Summary --

  * Rename the 'float' production to 'real'.

-- File Changes --

    M index.bs (40)

-- Patch Links --

https://github.com/heycam/webidl/pull/616.patch
https://github.com/heycam/webidl/pull/616.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/616