>> Florian, what are you plans w.r.t. merging this patch into the
>> distribution?
>
> It's currently on the testboard.
For the record: this is now pushed as 705229ed856e.
Florian
--
PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
> Florian, what are you plans w.r.t. merging this patch into the
> distribution?
It's currently on the testboard.
Florian
>
> Manuel
>
>
> On 23/06/16 11:22, Manuel Eberl wrote:
>> Looks good. After applying the patch, HOL-Codegenerator_Test goes
>> through with the code equation in
Florian, what are you plans w.r.t. merging this patch into the distribution?
Manuel
On 23/06/16 11:22, Manuel Eberl wrote:
Looks good. After applying the patch, HOL-Codegenerator_Test goes
through with the code equation in Binomial.thy enabled.
Cheers,
Manuel
On 23/06/16 09:48, Manuel
Looks good. After applying the patch, HOL-Codegenerator_Test goes
through with the code equation in Binomial.thy enabled.
Cheers,
Manuel
On 23/06/16 09:48, Manuel Eberl wrote:
The uncommented code equation at the end of ~~/src/HOL/Binomial.thy used
to break Codegenerator_Test. I can have a
The uncommented code equation at the end of ~~/src/HOL/Binomial.thy used
to break Codegenerator_Test. I can have a look later to see whether this
is still the case.
If it is not, we should probably proceed to move some more of René
Thiemann et al's efficient code equations from the AFP to the
Dear power users of code generation to Scala,
during the last months there have been some reports on ambiguity
problems with implicits in Scala.
One kind of these has been known for long and can be addressed in more
recent versions of Scala, which has been done in 7cffe366d333.
One other kind
