On Thu, 2007-05-03 at 11:46 +1000, skaller wrote: [] And this fixes it: CLIENT ERROR For _rqs_Addgrp<1293> Not enough type subscripts, expected 1 got 0 parent vs= vs=t<1292> In xm.flx: line 14 col 5 to line 18 col 5 13: instance[t with Addgrp[t]] Addgrp[t*t] { 14: fun zero() = { 15: open Addgrp[t]; 16: val z = zero[t](); 17: return z,z; 18: } 19: }
but introduces an old error I hate. _rqs_Addgrp is a header/body insertion thing: it's the name of the 'root' insertion on which all the (non-existant) header/body things depend. In the typeclass it is polymorphic with one variable. It isn't being instantiated in the code with one type argument .. hence the error. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language