On Thu, 2005-06-23 at 08:17 -0400, Swaroop Sridhar wrote: > If I write: > > (deftype i32list (list int32)) > > (define ilist Nil) > > The type if ilist is not very clear, and I think we must pick the most > general (or original) type. > > That is, > (define ilist Nil) ;ilist: (list 'a) > (define jlist (Cons 100)) ; ilist: (list int) > (define klist:i32list Nil) ; ilist: i32list > > Since deftype really only creates aliases, how about > (if #t ilist klist) ??
What does SML do in this case? I suspect that for (if #t ilist jlist) it returns (list int) I am not sure exactly what to do for the ilist/klist case, but I suspect that the right answer is probably going to be (list int). shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
