On 04/08/2012, at 5:00 PM, john skaller wrote: > > Removing S_expr from the library I now have everything building and working > including rank! This now prints 5 like it should: >
Of course ... now this doesn't work: typedef fun succ (T:TYPE):TYPE => typematch T with | 0 => 1 | 1 => 2 | 2 => 3 | 3 => 4 | 4 => 5 | 5 => 6 | 6 => 7 endmatch; typedef fun arity (T:TYPE) : TYPE => typematch T with | ?U -> ?V => succ (arity V) | _ => 0 endmatch; println$ "by arity fun " + str memcount[arity int5]; .. which it used to .. grrr .. -- john skaller skal...@users.sourceforge.net http://felix-lang.org ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
