<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear all, how do indicate that p₀ and p have the same type in this
above example? Apparently, {R = R} is not enough.<br>
Estimata ĉiuj, kiel oni indikas ke p₀ kaj p havas la saman tipon en
ĉi supra ekzemplo ? Ŝajne, {R = R} ne sufiŝas.<br>
<p><font color="#3333ff"> {-# NON_TERMINATING #-}<br>
parse′ : ∀ {R xs} → Parser R xs → Colist Char → Colist R<br>
parse′ {R} p₀ = parse″ p₀<br>
where<br>
parse″ : ∀ {R xs} → Parser R xs → Colist Char → Colist R<br>
parse″ {xs = xs} p [] = Colist.fromList xs<br>
parse″ {R = R}{xs = xs} p (t ∷ s) with t ≐ '\n'<br>
... | false = parse″ (∂ p t) (♭ s)<br>
... | true = (Colist.fromList xs) ++ (parse″ p₀ (♭ s))</font></p>
<p>Sinceran dankon pro via venonta helpo.<br>
</p>
<p>-- <br>
</p>
<div class="moz-signature">Serge Leblanc
<hr>
gpg --search-keys 0x67B17A3F
<br>
Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F</div>
</body>
</html>