search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Rename module Math->MathLib, name conflicts with Java/C# Math class #146

Open markrtuttle opened 1 year ago

markrtuttle commented 1 year ago

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

This renames the Math module to MathLib to avoid conflict with the Math class in Java and C#. Prior to this change, the examples in JSON will verify but not compile to Java or C# (error messages about missing symbols indicate the compiler is looking in the standard Math library and not the Dafny Math module).

This does not update the corresponding files under examples. Should it?

This resolves https://github.com/dafny-lang/libraries/issues/145

markrtuttle commented 12 months ago

@robin-aws I've pushed an update that merely moves Math into Dafny.Math.