On Mon, 2005-01-31 at 17:39 +0100, Dominique Quatravaux wrote:
> Jonathan S. Shapiro wrote:
> 
> >
> >Does ML actually allow recursive data definitions? This would be very
> >surprising if true...
> >  
> >
> Why not?
> 
>         Objective Caml version 3.04
> 
> # let rec l = (1::l);;

URK.

Well, the reason to avoid this sort of thing is that termination matters
to some people...

shap

_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to