idris-java icon indicating copy to clipboard operation
idris-java copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Fix for anonymous class definition and update to Idris 0.9.20

Open aaronc opened this issue 9 years ago • 0 comments

The current version of anonymous class definition wraps the function call in a call to Closure.run() which has a return type of void thus not allowing any return value from Idris to get returned by the Java method.

aaronc avatar Dec 12 '15 04:12 aaronc