changeset 63350 | 705229ed856e |
parent 63343 | fb5d8a50c641 |
child 63354 | 6038ba2687cf |
--- a/NEWS Wed Jun 22 19:01:26 2016 +0200 +++ b/NEWS Thu Jun 23 16:46:36 2016 +0200 @@ -129,6 +129,10 @@ different phases of code generation. See src/HOL/ex/Code_Timing.thy for examples. +* Code generator: implicits in Scala (stemming from type class instances) +are generated into companion object of corresponding type class, to resolve +some situations where ambiguities may occur. + *** HOL ***