changeset 63198 | c583ca33076a |
parent 63184 | dd6cd88cebd9 |
child 63211 | 0bec0d1d9998 |
--- a/NEWS Tue May 31 19:51:01 2016 +0200 +++ b/NEWS Tue May 31 21:54:10 2016 +0200 @@ -344,8 +344,12 @@ nn_integral :: 'a measure => ('a => ennreal) => ennreal INCOMPATIBILITY. + *** ML *** +* Ad-hoc overloading for standard operations on type Rat.rat: + - * / = +< <= > >= <>. INCOMPATIBILITY, need to use + instead of +/ etc. + * The ML function "ML" provides easy access to run-time compilation. This is particularly useful for conditional compilation, without requiring separate files.