wyal CompileTask.java

[OlaFosheimGrostad]

Line 98: lambda needs a parameter `return (Build.Meter dummy) -> execute(src);``
Line 101: remove throws IOException (lambda fails to type check, and execute does not throw anyway)

[DavePearce]

Hey,

I think you're suggesting it could be improved by including build metering. Yes, that makes sense. Keep in mind, however, that I'm just keeping this theorem prover alive for now. In fact, I'm going to rebuild it soon ... hopefully early in the new year. As such, I'm not maintaining it really other than what is absolutely necessary!

[OlaFosheimGrostad]

It was more that the compiler complained and refused to let it pass type checking. This could be because of my setup. SDK 13.

[DavePearce]

Hey Ola, did you manage to fix this? I'm back from holiday now and getting back onto doing stuff ...