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