Summary

Allow functor arguments to be optional

Metadata

Attachments

Description

This patch allows functor arguments to be optional, allowing to provide a default module name to be used if the instantiation leaves out the argument.

Changes and comments

[2014-05-04 14:33:43 UTC] felix attached 0001-Allow-functor-arguments-to-be-optional-defaulting-to.patch (description=#f)

[2014-07-12 18:06:19 UTC] sjamaan changed status from new to closed

[2014-07-12 18:06:19 UTC] sjamaan set resolution to fixed

[2014-07-12 18:06:19 UTC] sjamaan wrote:

Implemented with df0eb601874c78131fb6a61af4f053729ff1888f