j
k
j a
j l
Nope, the return value from a lambda does not get "int'ified":
zero_type(a(0));
(6) Result: 1
However, the "_" facility in Hilfe apparently makes such an infication, so this is a Hilfe bug.
Back to the thread
Back to the list
