Sujet : Re: How could HHH report on the behavior of its caller?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 15. May 2025, 08:37:47
Autres entêtes
Organisation : -
Message-ID : <10045kb$314dt$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-05-15 01:30:08 +0000, olcott said:
void DDD()
{
HHH(DDD);
return;
}
int main()
{
DDD();
}
If HHH cannot report on the behavior of its caller
because this is a ridiculous requirement then how
can HHH report on the direct execution of DDD()
(AKA its caller).
Your HHH can use all information that Flibble's decider can. Flibble's
decider can determine and report that DDD halts.
-- Mikko
…