<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Dear Café,</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">I'm trying to build a DAG from a binary tree. I don't think there's a big trouble. Nevertheless, I do even some transformations. Thus, I would like to know it is still a DAG, not adding, accidentally, a node.</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Is there any way, if I have data like</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">data Ex</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;"> = Val Int</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;"> | Add Ex Ex</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;"> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">so that I can test that some value Val i === Val i ? I mean, the pointers go to the same data box? I could do that via some IORefs, AFAIK, but I don't think it is feasible. Maybe to tune the algorithm...</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Best regards,</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Dusan</p>
<br /></body>
</html>