I have finally installed my great mass of new material, but when I try to test it, it fails as shown below. I can’t imagine what I could have done to trigger such an error. Nearly all of my changes are confined to Multivariate_Analysis. Does anybody have an idea what could be going on here?
Larry Running HOL-Codegenerator_Test ... HOL-Codegenerator_Test FAILED (see also /Users/lp15/isabelle/Repos/heaps/polyml-5.6_x86-darwin/log/HOL-Codegenerator_Test) ^ ROOT.scala:17271: error: ambiguous implicit values: both method semiring_char_0_nat in object Generated_Code of type => Generated_Code.semiring_char_0[Generated_Code.nat] and method semiring_div_nat in object Generated_Code of type => Generated_Code.semiring_div[Generated_Code.nat] match expected type Generated_Code.power[Generated_Code.nat] power[nat](cb, ca) else zero_nata()) ^ 10 errors found _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev