Re: [webauthn] clientExtensionResults attribute cannot be a Record type

> we would need to specify the algorithm implementing getExtensionResults(), yes?

You need to specify an algorithm no matter what, no?  The thing returns a record; you need to define how that record is constructed.  (And keep in mind that records are ordered, so you probably need to specify the ordering too, while you're here.)

GitHub Notification of comment by bzbarsky
Please view or discuss this issue at using your GitHub account

Received on Wednesday, 11 October 2017 15:39:30 UTC