[CTYP-33] A var of containing a function should be a subtype of the function Created: 07/Aug/13 Updated: 25/Sep/13 Resolved: 28/Aug/13
|Reporter:||Timo Mihaljov||Assignee:||Ambrose Bonnaire-Sergeant|
Vars implement IFn by delegating to the function they contain. Thus a var is a valid value anywhere its contained function is valid.
Currently core.typed does not allow treating vars as functions:
|Comment by Ambrose Bonnaire-Sergeant [ 28/Aug/13 8:42 AM ]|