regression/default-overloads.sml

   1 fun f x = ~ x;
   2 fun g (x: int) = f x;
   3 fun f x = abs x;
   4 fun g (x: int) = f x;
   5 fun f x = x + x;
   6 fun g (x: int) = f x;
   7 fun f x = x - x;
   8 fun g (x: int) = f x;
   9 fun f x = x * x;
  10 fun g (x: int) = f x;
  11 fun f x = x div x;
  12 fun g (x: int) = f x;
  13 fun f x = x mod x;
  14 fun g (x: int) = f x;
  15 fun f x = x < x;
  16 fun g (x: int) = f x;
  17 fun f x = x <= x;
  18 fun g (x: int) = f x;
  19 fun f x = x > x;
  20 fun g (x: int) = f x;
  21 fun f x = x >= x;
  22 fun g (x: int) = f x;
  23 fun f x = x / x;
  24 fun g (x: real) = f x;