Jira (PUP-2794) Specify signatures for blocks of block-accepting methods

[Henrik Lindberg (JIRA)]

Title: Message Title

Henrik Lindberg commented on an issue   Re: Specify signatures for blocks of block-accepting methods Now, back to the case of improving the type checking of the iterative functions. Naturally, it will not work to declare that the iterative function will make a call with 1 or 2 parameters, since a given block that only accepts one parameter will then not be acceptable (since it must optionally expect two). We could describe it using a Variant[Callable[Any], Callable[Any, Any]], but this means that the given block can not be typed more specifically than Any. In order to correctly specify this, we must either add type parameters (so we can specify how it will actually be called, (or we can create the signature dynamically by making the dispatcher accept a block), or we need to use just Callable (which accepts any callable - but then we are back on square one and not checking the given block's signature at all). Maybe we can handle it as Variant[Callable[1], Callable[2] - i.e. without stating the types that will be given to the block, only that it must accept one or two. Now investigating if the Callable type handles this. Add Comment   Puppet / PUP-2794 Specify signatures for blocks of block-accepting methods Since PUP-2755, the iteration functions are implemented using the new function API, which allows specifying dispatches on parameter types, as well as the signature of the block that is accepted. However, the current implementation doesn't specify the block's signature and leaves at the default of {{Callable[Object]}}. Ideally the block signature should... This message was sent by Atlassian JIRA (v6.1.4#6159-sha1:44eaede) -- You received this message because you are subscribed to the Google Groups "Puppet Bugs" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-bugs+unsubscr...@googlegroups.com. To post to this group, send email to puppet-bugs@googlegroups.com. Visit this group at http://groups.google.com/group/puppet-bugs. For more options, visit https://groups.google.com/d/optout.