search

WebAudio / web-midi-api

The Web MIDI API, developed by the W3C Audio WG
http://webaudio.github.io/web-midi-api/
Other
323 stars 49 forks source link

Update spec to reflect addition of maplike<> to WebIDL #115

Closed qdot closed 9 years ago

qdot commented 9 years ago

The blink implementation of WebMIDI is now using maplike<> (https://code.google.com/p/chromium/issues/detail?id=432683), and the firefox implementation (https://bugzilla.mozilla.org/show_bug.cgi?id=836897) will most likely use maplike<> once is in place (https://bugzilla.mozilla.org/show_bug.cgi?id=1123516). The spec should reflect this so we don't have discrepancies.

yutakahirano commented 9 years ago

The problem is that ReSpec doesn't support maplike right now. https://github.com/w3c/respec/issues/361

yutakahirano commented 9 years ago

I'm trying to fix that.

toyoshim commented 9 years ago

shall we close this now, or keep it opened until ReSpec support maplike?

yutakahirano commented 9 years ago

ReSpec released a new version containing maplike (it was faster than I expected) and I would like to drop the workaround soon.

toyoshim commented 9 years ago

great!

cwilso commented 9 years ago

Yutaka-san, reference? I can't find a new release of ReSpec that supports maplike.

yutakahirano commented 9 years ago

https://github.com/w3c/respec/pull/408

cwilso commented 9 years ago

Done.