On Tue, 3 Feb 2026 11:07:38 +1100 Jeremy Dawson jeredaw@gmx.com wrote:
btw - another inconsistency between compilers
- fun square x = x * x;
val square = fn : int -> int
ie Moscow ML assumes int as a sort of default
Thx for both your replies! Still waiting for Paulson's book to arrive, although I suspect that I might have been too impulsive in buying the book so soon.