Mir fielen zwei Gründe sein: Zum einen, und das wird der Ursprung sein, gab es das im unsprünglichen Pascal wohl nicht. Da dem so war, hat man die Umsetzung in Maschinencode sehr effizient machen können, welche aber nicht mit Stepping funktionieren würde. Und wegen letzterem, und der Tatsache, dass man das Verhalten fast noch besser mit den anderen Schleifen erhalten kann, wird dazu geführt haben, dass es das auch heute nicht gibt. (Vor allem, weil
TP lokale Variablen genau so wie Counter in Register optimieren kann, statt sie nur auf dem Stack zu behandeln.)
Als ich vor ~20 Jahren von Basic zu Pascal kam hatte ich das auch noch vermisst, mittlerweile ist in meinem Kopf hartverdrahtet: if delta_i <> 1 then UseLoopOperation(loRepeatUntil);
"When one person suffers from a delusion, it is called insanity. When a million people suffer from a delusion, it is called religion." (Richard Dawkins)