Improve late-stage xcomp

blk/263

@@ -1,14 +1,13 @@
 VARIABLE XCURRENT
-
 : XCON XCURRENT CURRENT* ! ;
 : XCOFF 0x02 RAM+ CURRENT* ! ;
-
 : (xentry) XCON (entry) XCOFF ;
 : XCREATE (xentry) 11 C, ;
 : XCODE XCON CODE XCOFF ;
 : XIMM XCON IMMEDIATE XCOFF ;
 : _xapply ( a -- a-off )
     DUP ORG @ > IF ORG @ - BIN( @ + THEN ;
+: X' XCON ' XCOFF ;
 : X['] XCON ' _xapply LITA XCOFF ;
 : XCOMPILE
     XCON ' _xapply LITA

blk/437

@@ -3,11 +3,11 @@
 : LOOP COMPILE (loop) H@ - , ; IMMEDIATE
 ( LEAVE is implemented in low xcomp )
 : LITN 32 , , ( 32 == NUMBER ) ;
-
+: _ ( : will get its name at the very end )
-( ';' can't have its name right away because, when created, it
+    (entry)
-  is not an IMMEDIATE yet and will not be treated properly by
+    [ 14 ( == compiledWord ) LITN ] C,
-  xcomp. )
+    BEGIN
-: _
+        WORD (find)
-    ['] EXIT ,
+        IF ( is word ) DUP IMMED? IF EXECUTE ELSE , THEN
-    R> DROP     ( exit : )
+        ELSE ( maybe number ) (parse) LITN THEN
-; IMMEDIATE
+    AGAIN ;

blk/438

@@ -1,16 +1,9 @@
-XCURRENT @ ( to PSP )
+( ';' can't have its name right away because, when created, it
-: :
+  is not an IMMEDIATE yet and will not be treated properly by
-    (entry)
+  xcomp. )
-    ( We cannot use LITN as IMMEDIATE because of bootstrapping
+: _
-      issues. Same thing for ",".
+    ['] EXIT ,
-      32 == NUMBER 14 == compiledWord )
+    R> DROP     ( exit : )
-    [ 32 H@ ! 2 ALLOT 14 H@ ! 2 ALLOT ] C,
+; IMMEDIATE
-    BEGIN
+';' XCURRENT @ 4 - C!
-        WORD
+':' X' _ 4 - C! ( give : its name )
-        (find)
-        ( is word )
-        IF DUP IMMED? IF EXECUTE ELSE , THEN
-        ( maybe number )
-        ELSE (parse) LITN THEN
-    AGAIN ;
-( from PSP ) ';' SWAP 4 - C!