Re: single-xt approach in the standard

On 2024-09-18 10:38, mhx wrote:

On Wed, 18 Sep 2024 6:10:29 +0000, Ruvim wrote:
[..]

This implementation is not standard compliant, because `compile,`, which
shall has stack effect ( xt -- ), consumes and produces some other stack
parameters for some xts, e.g.

[..]
 

Or, in a standard program:
>
   : test-compile(
     state @ 0= -14 and throw
     bl word find if compile, else -13 throw then
     parse-name s" )" compare abort" ')' expected"
   ; immediate
>
   : foo test-compile( if ) ;
>
   \ Err# -22 ERR: Control structure mismatch.

 FORTH> see foo
Flags: ANSI
$01340E40  : foo
$01340E4A  jmp           IF+10 ( $012B829A ) offset NEAR
$01340E4F  ;
 I'm curious what this tells you.

This tells me that in iForth the word `compile,` behaves as expected in this test :)
--
Ruvim