avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
authorwenzelm
Fri Nov 03 19:20:47 2017 +0100 (19 months ago)
changeset 6699717eb23e43630
parent 66996 22ca0f37f491
child 66998 8905114fd23b
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
src/Pure/General/integer.ML
     1.1 --- a/src/Pure/General/integer.ML	Fri Nov 03 19:16:41 2017 +0100
     1.2 +++ b/src/Pure/General/integer.ML	Fri Nov 03 19:20:47 2017 +0100
     1.3 @@ -65,3 +65,10 @@
     1.4    | lcms (x :: xs) = abs (Library.foldl PolyML.IntInf.lcm (x, xs));
     1.5  
     1.6  end;
     1.7 +
     1.8 +(* FIXME workaround for Poly/ML 5.7.1 testing *)
     1.9 +structure IntInf =
    1.10 +struct
    1.11 +  open IntInf;
    1.12 +  fun pow (i, n) = Integer.pow n i;
    1.13 +end