[MLton] Type error: variable applied to wrong number of type args

Stephen Weeks MLton@mlton.org
Thu, 8 Sep 2005 16:55:04 -0700


> It seems to be related to flex-type resolution; 

Right on.  Here's a shorter example that shows the problem.

fun g {...} = ()
and h {a} = ()
fun f v = (g v; h v)