Re: [isabelle] Scala generator



> object Test {
> 
> def myfun: Boolean = {
>                        (_: Boolean) => true;
>                        true
>                      }
> 
> } /* object Test */

The problem there is actually precedence. The following version works as
expected, and the Scala compiler should be able to remove that piece of
dead code.

object Test {

def myfun: Boolean = {
                       {(_: Boolean) => true;}
                       true
                     }

} /* object Test */

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.