forth.forth

   1 \ This program is free software: you can redistribute it and/or modify
   2 \ it under the terms of the GNU General Public License as published by
   3 \ the Free Software Foundation, either version 3 of the License, or
   4 \ (at your option) any later version.
   5 \
   6 \ This program is distributed in the hope that it will be useful,
   7 \ but WITHOUT ANY WARRANTY; without even the implied warranty of
   8 \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   9 \ GNU General Public License for more details.
  10 \
  11 \ You should have received a copy of the GNU General Public License
  12 \ along with this program.  If not, see <http://www.gnu.org/licenses/>.
  13
  14 \ word EXECUTE 12 define
  15 16500 execute WORD 16500 29 execute
  16 word DEFINE 29 29 execute
  17 word RINIT 3 define
  18 word NOOP 13 define
  19 word MODE 14336 define
  20 word EXECUTE-WORD 16680 define
  21 word EXECUTE-NUM 16720 define
  22 word INTERPRET 16400 define
  23 word KEY 5 define
  24 word WORD-START 20 define
  25 word WORD-PUT 19 define
  26 word WORD-END 23 define
  27 word STRING-START 39 define
  28 word STRING-PUT 40 define
  29 word STRING-END 41 define
  30 word NUMBER 22 define
  31 word FIND 21 define
  32 word FIND-DOES 44 define
  33 word DEFINE-DOES 45 define
  34 word QUIT 16384 define
  35 word BYE 25 define
  36 word WORDS 27 define
  37 word CHANNEL-IN 35 define
  38 word CHANNEL-OUT 48 define
  39 word !HERE 36 define
  40 word HERE 28 define
  41
  42 word STACKTRACE 46 define
  43 word FETCH 47 define
  44
  45 word ; 1 define
  46 word JZ: 14 define
  47 word JNZ: 15 define
  48 word J-1: 24 define
  49 word JMP: 18 define
  50 word , 33 define
  51 word + 7 define
  52 word - 34 define
  53 word =? 37 define
  54 word WS? 17 define
  55 word . 9 define
  56 word .S 38 define
  57 word @ 10 define
  58 word @+ 42 define
  59 word ! 11 define
  60 word !+ 43 define
  61 word LIT 2 define
  62 word DUP 6 define
  63 word 2DUP 30 define
  64 word DROP 16 define
  65 word 2DROP 32 define
  66 word SWAP 26 define
  67 word ROT 31 define
  68
  69 \ ' "TICK" returns address of word's execution semantics
  70 word ' here define
  71 word word find , word find find , word ; find ,
  72
  73 \ : "COLON" sets execution semantics
  74 word : here define
  75 word : here define-does
  76 ' word , ' here , ' define , ' ; ,
  77
  78 \ :> "DOES" sets compilation semantics
  79 word :> here define-does
  80 : :> ' word , ' here , ' define-does , ' ; ,
  81
  82 \ ::> "COLON DOES" sets execution and compilation semantics
  83 word ::> here define-does
  84 word ::> here define
  85 ' word , ' 2dup , ' here , ' define-does , ' here , ' define , ' ; ,
  86
  87 \ write the execution semantics of a word to memory
  88 : MEMORIZE-WORD ' dup , ' JNZ: , here 12 + , ' 2drop , ' ; ,
  89 ' 2dup , ' find , ' dup , ' JZ: , here 16 + , ' , , ' 2drop , ' ; ,
  90 ' drop , ' lit , ' lit , ' , , ' execute-num , ' , , ' ; ,
  91
  92 \ change interpreter semantics to "memorize-word"
  93 : memorizing ' lit , ' mode , ' lit , ' memorize-word , ' ! , ' ; ,
  94
  95 \ memorize the compiler
  96 \memorizing
  97 \: executing lit mode lit execute-word ! ;
  98 \: FINISH-" drop string-end ;
  99 \: BSLASH-" drop key string-put JMP: \here \8 \+ \,
 100 \: " string-start \: KLOOP key 92 =? JNZ: bslash-" 34 =? JNZ: finish-" string-put JMP: KLOOP
 101 \: DO"    \:> " " swap lit lit , , lit lit , , ;
 102 \: DOIF   \:> IF lit JZ: , here dup , ;
 103 \: DOELSE \:> ELSE lit JMP: , here dup , swap here ! ;
 104 \: DOTHEN \:> THEN here ! ;
 105 \: COMPILE-WORD dup
 106 \doif 2dup find-does dup
 107   \doif rot 2drop execute ;
 108   \dothen drop 2dup find dup
 109   \doif , 2drop ;
 110   \dothen drop lit lit , execute-num , ;
 111 \dothen 2drop \do" Compilation Error: null word" .s bye
 112 \: compiling lit mode lit compile-word ! ;
 113
 114 \ compile the rest of the compiler
 115 \compiling
 116
 117 \ ; "RET" compilation semantics: ends a function and returns to executing mode
 118 :> ; lit \' ; \, , lit \' ; \, , executing \' ; \,
 119
 120 \ ;; "SEMIRET" compilation semantics: simply writes a return instruction
 121 :> ;; lit \' ; \, , ;
 122
 123 \ <: "OVERLOAD COLON" extend previous execution semantics of word
 124 ::> <: \compiling word 2dup find dup if here swap , define else drop here define
 125 then compiling ;
 126
 127 \ <:> "OVERLOAD COLON DOES" extend previous compilation semantics of word
 128 ::> <:> \compiling word 2dup find-does dup if here swap , define-does else drop
 129 here define-does then compiling ;
 130
 131 \ execution semantics of COLON, DOES, and COLON DOES now extended to
 132 \ automatically switch to compilation mode
 133 <: : compiling ;
 134 <: :> compiling ;
 135 <: ::> compiling ;
 136
 137 \ Multi-line comments
 138 ::> ( key 41 =? swap -1 =? swap drop + if ;; then JMP: \' ( \, ;
 139
 140 \ Set the number conversion base
 141 : BASE 14348 swap ! ;
 142
 143 (
 144   End of bootstrap process
 145   beyond this point, all hope is lost
 146 )
 147
 148 \ Print intro string
 149 " watForth-32 Interactive CLI:
 150 " .s