I got some suggestions from Vesa Karvonen on comp.lang.functional recently on how to approach SICP 2.5 on generic operations in ML. The suggested code can be found at:

  http://www.angelfire.com/tx4/cus/alice/alice3.html

In trying the code in Alice, I'm getting an error that I don't see in SML-NJ. Specifically the "In" constructor used in the wrap function is complaining about:

../a.aml:109.16-109.18: datatype `t' belonging to constructor `In' is not accessible

I'm assuming that the datatype t is getting shadowed, but I'm not sure if there is a workaround?

Thanks,
Chris Rathman

_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users

Reply via email to