The Lambda Lab
/
projects
/
forth.jl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Adequate handling of EOF restored.
[forth.jl.git]
/
src
/
forth.jl
diff --git
a/src/forth.jl
b/src/forth.jl
index
3305d5e
..
a233743
100644
(file)
--- a/
src/forth.jl
+++ b/
src/forth.jl
@@
-108,6
+108,7
@@
end
# Handy functions for adding/retrieving strings to/from memory.
getString(addr::Int64, len::Int64) = ASCIIString([Char(c) for c in mem[addr:(addr+len-1)]])
# Handy functions for adding/retrieving strings to/from memory.
getString(addr::Int64, len::Int64) = ASCIIString([Char(c) for c in mem[addr:(addr+len-1)]])
+
function putString(str::ASCIIString, addr::Int64)
mem[addr:(addr+length(str)-1)] = [Int64(c) for c in str]
end
function putString(str::ASCIIString, addr::Int64)
mem[addr:(addr+length(str)-1)] = [Int64(c) for c in str]
end
@@
-116,12
+117,18
@@
end
function defPrim(f::Function; name="nameless")
push!(primitives, f)
function defPrim(f::Function; name="nameless")
push!(primitives, f)
- push!(primNames, replace(
replace(name, "\004", "EOF"), "\n", "\\n
"))
+ push!(primNames, replace(
name, "\004", "EOF
"))
return -length(primitives)
end
return -length(primitives)
end
-callPrim(addr::Int64) = primitives[-addr]()
+function callPrim(addr::Int64)
+ if addr >=0 || -addr>length(primitives)
+ error("Attempted to execute non-existent primitive at address $addr.")
+ else
+ primitives[-addr]()
+ end
+end
getPrimName(addr::Int64) = primNames[-addr]
# Word creation functions
getPrimName(addr::Int64) = primNames[-addr]
# Word creation functions
@@
-598,7
+605,14
@@
end)
sources = Array{Any,1}()
currentSource() = sources[length(sources)]
sources = Array{Any,1}()
currentSource() = sources[length(sources)]
-EOF_CFA = defConst("EOF", 4)
+EOF = defPrimWord("\x04", () -> begin
+ close(pop!(sources))
+ if !isempty(sources)
+ return NEXT
+ else
+ return 0
+ end
+end)
EMIT = defPrimWord("EMIT", () -> begin
print(Char(popPS()))
EMIT = defPrimWord("EMIT", () -> begin
print(Char(popPS()))
@@
-616,7
+630,7
@@
EXPECT = defPrimWord("EXPECT", () -> begin
putString(line[1:mem[SPAN]], addr)
else
mem[SPAN] = 1
putString(line[1:mem[SPAN]], addr)
else
mem[SPAN] = 1
- mem[addr] =
EOF
+ mem[addr] =
4 # eof
end
return NEXT
end
return NEXT
@@
-721,8
+735,9
@@
end)
# Outer interpreter
TRACE = defPrimWord("TRACE", () -> begin
# Outer interpreter
TRACE = defPrimWord("TRACE", () -> begin
- print
("RS: "); printRS(
)
+ print
ln("reg.W: $(reg.W) reg.IP: $(reg.IP)"
)
print("PS: "); printPS()
print("PS: "); printPS()
+ print("RS: "); printRS()
print("[paused]")
readline()
print("[paused]")
readline()
@@
-825,7
+840,7
@@
INTERPRET = defWord("INTERPRET",
DUP, FETCH, ZE, ZBRANCH, 3,
DROP, EXIT, # Exit if TIB is exhausted
DUP, FETCH, ZE, ZBRANCH, 3,
DROP, EXIT, # Exit if TIB is exhausted
- STATE_CFA, FETCH, ZBRANCH, 3
2
,
+ STATE_CFA, FETCH, ZBRANCH, 3
1
,
# Compiling
DUP, FIND, QDUP, ZBRANCH, 19,
# Compiling
DUP, FIND, QDUP, ZBRANCH, 19,
@@
-839,16
+854,16
@@
INTERPRET = defWord("INTERPRET",
COMMA, BRANCH, -36,
# No word found, parse number
COMMA, BRANCH, -36,
# No word found, parse number
- NUMBER, BTICK, LIT, COMMA, COMMA,
TRACE, BRANCH, -44
,
+ NUMBER, BTICK, LIT, COMMA, COMMA,
BRANCH, -43
,
# Interpreting
DUP, FIND, QDUP, ZBRANCH, 7,
# Found word. Execute!
# Interpreting
DUP, FIND, QDUP, ZBRANCH, 7,
# Found word. Execute!
- SWAP, DROP, TOCFA, EXECUTE, BRANCH, -5
5
,
+ SWAP, DROP, TOCFA, EXECUTE, BRANCH, -5
4
,
# No word found, parse number and leave on stack
# No word found, parse number and leave on stack
- NUMBER, BRANCH, -5
8
,
+ NUMBER, BRANCH, -5
7
,
EXIT]
)
EXIT]
)
@@
-935,9
+950,6
@@
IMMEDIATE = defPrimWord("IMMEDIATE", () -> begin
return NEXT
end, flags=F_IMMED)
return NEXT
end, flags=F_IMMED)
-TICK = defWord("'",
- [LIT, 32, WORD, FIND, TOCFA, EXIT])
-
#### VM loop ####
#### VM loop ####
@@
-949,7
+961,7
@@
elseif isfile(Pkg.dir("forth/src/lib.4th"))
initFileName = Pkg.dir("forth/src/lib.4th")
end
initFileName = Pkg.dir("forth/src/lib.4th")
end
-function run(;initialize=
fals
e)
+function run(;initialize=
tru
e)
# Begin with STDIN as source
push!(sources, STDIN)
# Begin with STDIN as source
push!(sources, STDIN)
@@
-972,7
+984,7
@@
function run(;initialize=false)
jmp = NEXT
while jmp != 0
try
jmp = NEXT
while jmp != 0
try
-
#
println("Entering prim $(getPrimName(jmp))")
+
#
println("Entering prim $(getPrimName(jmp))")
jmp = callPrim(jmp)
catch ex
jmp = callPrim(jmp)
catch ex
@@
-983,6
+995,11
@@
function run(;initialize=false)
close(pop!(sources))
end
close(pop!(sources))
end
+ # Want backtrace in here eventually
+ println("reg.W: $(reg.W) reg.IP: $(reg.IP)")
+ print("PS: "); printPS()
+ print("RS: "); printRS()
+
mem[STATE] = 0
mem[NUMTIB] = 0
reg.PSP = mem[PSP0]
mem[STATE] = 0
mem[NUMTIB] = 0
reg.PSP = mem[PSP0]