On Tue, 2005-08-16 at 17:34 +0100, Jon Harrop wrote:
> On Tuesday 16 August 2005 14:17, skaller wrote:
> > 	match e with (h,t,...) ->
> 
> My understanding is that the types of those expressions cannot expressed in 
> the OCaml type system. So that would require quite a fundamental change.

Yes.


> From my limited experience of SML, it is more of a pain than a benefit.

Good to read Barry Jay's Functorial ML ..

-- 
John Skaller <skaller at users dot sourceforge dot net>