<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
Le 26/04/2015 15:20, martin a écrit :<br>
<blockquote cite="mid:553CE61D.7020905@web.de" type="cite">
<pre wrap="">I was trying to implement >>= (tBind) on my "Temporal" data type and found that it hangs on an operation like
takeInitialPart $ infiniteTemporal >>= (\x -> finiteTemporal)
I am pretty sure the result is well defined and by no means infinite. <font color="#cc0000"><i><b>Also the code works on finite Temporals.</b></i></font></pre>
</blockquote>
I am not sure about this...<br>
I replaced [5,10 ..] by [5,10 .. 100], so outer becomes<br>
<br>
Temporal [(DPast,0),(T 5,5),(T 10,10),(T 15,15),(T 20,20),(T
25,25),(T 30,30),(T 35,35),(T 40,40),(T 45,45),(T 50,50),(T
55,55),(T 60,60),(T 65,65),(T 70,70),(T 75,75),(T 80,80),(T
85,85),(T 90,90),(T 95,95),(T 100,100)]<br>
<br>
and GHCi says:<br>
<br>
*Main> ex10<br>
*** Exception: Prelude.head: empty list<br>
<br>
==<br>
<br>
Jerzy Karczmarczuk<br>
<br>
</body>
</html>