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 CHANNEL-OPEN 51 define
  40 word CHANNEL-AWAIT 50 define
  41 word !HERE 36 define
  42 word HERE 28 define
  43
  44 word STACKTRACE 46 define
  45 word FETCH 47 define
  46
  47 word ; 1 define
  48 word JZ: 14 define
  49 word JNZ: 15 define
  50 word J-1: 24 define
  51 word JMP: 18 define
  52 word , 33 define
  53 word + 7 define
  54 word - 34 define
  55 word =? 37 define
  56 word WS? 17 define
  57 word . 9 define
  58 word .S 38 define
  59 word @ 10 define
  60 word @+ 42 define
  61 word ! 11 define
  62 word !+ 43 define
  63 word LIT 2 define
  64 word DUP 6 define
  65 word 2DUP 30 define
  66 word DROP 16 define
  67 word 2DROP 32 define
  68 word SWAP 26 define
  69 word ROT 31 define
  70
  71 \ ' "TICK" returns address of word's execution semantics
  72 word ' here define
  73 word word find , word find find , word ; find ,
  74
  75 \ : "COLON" sets execution semantics
  76 word : here define
  77 word : here define-does
  78 ' word , ' here , ' define , ' ; ,
  79
  80 \ :> "DOES" sets compilation semantics
  81 word :> here define-does
  82 : :> ' word , ' here , ' define-does , ' ; ,
  83
  84 \ ::> "COLON DOES" sets execution and compilation semantics
  85 word ::> here define-does
  86 word ::> here define
  87 ' word , ' 2dup , ' here , ' define-does , ' here , ' define , ' ; ,
  88
  89 \ write the execution semantics of a word to memory
  90 : MEMORIZE-WORD ' dup , ' JNZ: , here 12 + , ' 2drop , ' ; ,
  91 ' 2dup , ' find , ' dup , ' JZ: , here 16 + , ' , , ' 2drop , ' ; ,
  92 ' drop , ' lit , ' lit , ' , , ' execute-num , ' , , ' ; ,
  93
  94 \ change interpreter semantics to "memorize-word"
  95 : memorizing ' lit , ' mode , ' lit , ' memorize-word , ' ! , ' ; ,
  96
  97 \ memorize the compiler
  98 \memorizing
  99 \: executing lit mode lit execute-word ! ;
 100 \: FINISH-" drop string-end ;
 101 \: BSLASH-" drop key string-put JMP: \here \8 \+ \,
 102 \: " string-start \: KLOOP key 92 =? JNZ: bslash-" 34 =? JNZ: finish-" string-put JMP: KLOOP
 103 \: DO"    \:> " " swap lit lit , , lit lit , , ;
 104 \: DOIF   \:> IF lit JZ: , here dup , ;
 105 \: DOELSE \:> ELSE lit JMP: , here dup , swap here ! ;
 106 \: DOTHEN \:> THEN here ! ;
 107 \: COMPILE-WORD dup
 108 \doif 2dup find-does dup
 109   \doif rot 2drop execute ;
 110   \dothen drop 2dup find dup
 111   \doif , 2drop ;
 112   \dothen drop lit lit , execute-num , ;
 113 \dothen 2drop \do" Compilation Error: null word" .s bye
 114 \: compiling lit mode lit compile-word ! ;
 115
 116 \ compile the rest of the compiler
 117 \compiling
 118
 119 \ ; "RET" compilation semantics: ends a function and returns to executing mode
 120 :> ; lit \' ; \, , lit \' ; \, , executing \' ; \,
 121
 122 \ ;; "SEMIRET" compilation semantics: simply writes a return instruction
 123 :> ;; lit \' ; \, , ;
 124
 125 \ <: "OVERLOAD COLON" extend previous execution semantics of word
 126 ::> <: \compiling word 2dup find dup if here swap , define else drop here define
 127 then compiling ;
 128
 129 \ <:> "OVERLOAD COLON DOES" extend previous compilation semantics of word
 130 ::> <:> \compiling word 2dup find-does dup if here swap , define-does else drop
 131 here define-does then compiling ;
 132
 133 \ execution semantics of COLON, DOES, and COLON DOES now extended to
 134 \ automatically switch to compilation mode
 135 <: : compiling ;
 136 <: :> compiling ;
 137 <: ::> compiling ;
 138
 139 \ Multi-line comments
 140 ::> ( key 41 =? swap -1 =? swap drop + if ;; then JMP: \' ( \, ;
 141
 142 \ Set the number conversion base
 143 : BASE 14348 swap ! ;
 144 : BASE10 10 base ;
 145
 146 (
 147   End of bootstrap process
 148   beyond this point, all hope is lost
 149 )
 150
 151 \ Print intro string
 152 " watForth-32 Interactive CLI:
 153 " .s