Re: [isabelle] libisabelle: Small Scala library to communicate with Isabelle



> In Scala there is a conversion
> 
>         apply(x:BigInteger): BigInt
> 
> 
> but the error is thrown by arguments' type declaration -- how can we get
> these right ?

The problem is a type mismatch ... the operation is declared for
'scala.math.BigInt', but you're trying to use it as a
'java.lang.BigInteger'. There should be no problem with consistently
using the former even in Java code, since the conversion is trivial:

  scalaBigInt.bigInteger() // returns Java BigInteger
  new scala.math.BigInt(javaBigInt) // constructs Scala BigInt

Cheers
Lars




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