Remove InputSession#729
Conversation
The type doesn't add much value besides offering a narrower interface to InputHandleCore than the type did previously. With this change, the public interface provided by the latter type matches InputSession, which eliminates the need for a proper type to encapsulate the InputSession. Makes the `InputHandleCore::next` function private as we'd like all uses to consume all inputs, and removes a unused internal function to access the handle's pull counter. Signed-off-by: Moritz Hoffmann <antiguru@gmail.com>
|
So, had a read through the code (I didn't make it easy on us) and think the reason Still pondering if this feature is worth it, though. |
I don't think the |
|
Yeah, good point. I misunderstood what the attribute on a type means (rather than a function), but it seems to be the case. Linear types would do the right thing here, but this attribute does not do that. |
|
Seems good! |
The type doesn't add much value besides offering a narrower interface to
InputHandleCorethan the type did previously. With this change, the public interface provided by the latter type matchesInputSession, which eliminates the need for a proper type to encapsulate theInputSession.Makes the
InputHandleCore::nextfunction private as we'd like all uses to consume all inputs, and removes a unused internal function to access the handle's pull counter.