cco/go-scopes
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

forge, work in progress: factorial, using if, leave, repeat

Browse source
This commit is contained in:
Helmut Merz 2023-09-12 11:59:51 +02:00
parent 57f4c1535b
commit 75b82db250
2 changed files with 33 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
forge/builtins/builtins.go
View file

@ -9,8 +9,8 @@ type XT = forge.XT
type FPtr = forge.FPtr type FPtr = forge.FPtr
type builtins struct { type builtins struct {
Add, Body, Code, Comp, Drop, Dup, Get, If, IfElse, Leave, Lit, Mult, Add, Body, Code, Comp, Drop, Dup, Get, If, IfElse, Leave, LT, Lit,
New1, Put, Reg, Repeat, Swap, Mult, New1, Over, Put, Reg, Repeat, Sub, Swap,
Var1 XT Var1 XT
} }
@ -30,29 +30,32 @@ func setup(f FE) *builtins {
} }
b := builtins{ b := builtins{
Add: r("+", func(f FE, _ XT) { f.Push(f.PopI() + f.PopI()) }), Add: r("+", func(f FE, _ XT) { f.Push(f.PopI() + f.PopI()) }),
/*Append: r("append", func(f FE, _ XT) {
item := f.Pop()
f.Peek(0).(FPtr).Append(item)
}),*/
Body: r("body", func(f FE, _ XT) { f.Push(f.Pop().(XT).Code().New().Next()) }), Body: r("body", func(f FE, _ XT) { f.Push(f.Pop().(XT).Code().New().Next()) }),
Code: r("code", func(f FE, _ XT) { f.Push(f.Code()) }), Code: r("code", func(f FE, _ XT) { f.Push(f.Code()) }),
Comp: r("comp", func(f FE, _ XT) { f.LatestXT().Code().Append(f.Pop()) }), Comp: r("comp", func(f FE, _ XT) { f.LatestXT().Code().Append(f.Pop()) }),
Drop: r("drop", func(f FE, _ XT) { f.Pop() }), Drop: r("drop", func(f FE, _ XT) { f.Pop() }),
Dup: r("dup", func(f FE, _ XT) { f.Push(f.Peek(0)) }), Dup: r("dup", func(f FE, _ XT) { f.Push(f.Peek(0)) }),
Get: r("@", func(f FE, _ XT) { f.Push(f.Pop().(FPtr).Value()) }), Get: r("@", func(f FE, _ XT) { f.Push(f.Pop().(FPtr).Value()) }),
If: r("if", func(f FE, _ XT) { doif(f) }),
IfElse: r("if-else", func(f FE, _ XT) { doifelse(f) }),
Leave: r("leave", func(f FE, _ XT) { f.RPop() }), Leave: r("leave", func(f FE, _ XT) { f.RPop() }),
Lit: r("lit", func(f FE, _ XT) { f.Push(f.Literal()) }), Lit: r("lit", func(f FE, _ XT) { f.Push(f.Literal()) }),
LT: r("<", func(f FE, _ XT) { f.Push(f.PopI() > f.PopI()) }),
Mult: r("*", func(f FE, _ XT) { f.Push(f.PopI() * f.PopI()) }), Mult: r("*", func(f FE, _ XT) { f.Push(f.PopI() * f.PopI()) }),
New1: r("new1", func(f FE, _ XT) { f.Push(f.NewVar()) }), New1: r("new1", func(f FE, _ XT) { f.Push(f.NewVar()) }),
Over: r("over", func(f FE, _ XT) { f.Push(f.Peek(1)) }),
Put: r("!", func(f FE, _ XT) { f.Pop().(FPtr).Set(f.Pop()) }), Put: r("!", func(f FE, _ XT) { f.Pop().(FPtr).Set(f.Pop()) }),
Reg: r("reg", func(f FE, _ XT) { reg(f) }), Reg: r("reg", func(f FE, _ XT) { doreg(f) }),
Repeat: r("repeat", func(f FE, _ XT) { f.Reset() }), Repeat: r("repeat", func(f FE, _ XT) { f.Reset() }),
Swap: r("swap", func(f FE, _ XT) { Sub: r("-", func(f FE, _ XT) {
a := f.Pop() a := f.PopI()
b := f.Pop() f.Push(f.PopI() - a)
f.Push(a)
f.Push(b)
}), }),
Swap: r("swap", func(f FE, _ XT) { doswap(f) }),
/*Append: r("append", func(f FE, _ XT) {
item := f.Pop()
f.Peek(0).(FPtr).Append(item)
}),*/
} }
rf := func(name string, code ...forge.FItem) XT { rf := func(name string, code ...forge.FItem) XT {
return forge.Register(voc, forge.FCode(name, f.Code(code...))) return forge.Register(voc, forge.FCode(name, f.Code(code...)))
@ -78,7 +81,14 @@ func doifelse(f FE) {
} }
} }
func reg(f FE) { func doswap(f FE) {
a := f.Pop()
b := f.Pop()
f.Push(a)
f.Push(b)
}
func doreg(f FE) {
f.Register(forge.FCode(f.Pop().(string), f.Pop().(FPtr))) f.Register(forge.FCode(f.Pop().(string), f.Pop().(FPtr)))
} }

9
tests/forge_test.go
View file

@ -21,6 +21,7 @@ func TestForge(tb *tbase.T) {
t := testing.SetUp(tb) t := testing.SetUp(tb)
t.Run("exec", ExecTest) t.Run("exec", ExecTest)
t.Run("core", CoreTest) t.Run("core", CoreTest)
t.Run("control", ControlTest)
t.Run("rep", RepTest) t.Run("rep", RepTest)
t.Run("json", JsonTest) t.Run("json", JsonTest)
} }
@ -45,6 +46,14 @@ func CoreTest(t *testing.T) {
} }
func ControlTest(t *testing.T) { func ControlTest(t *testing.T) {
fac := fe.Exec(fe.Code(
b.Dup, fe.Code(
b.Dup, 3, b.LT, b.If, fe.Code(
b.Drop, b.Leave),
b.Swap, b.Over, b.Mult, b.Swap, 1, b.Sub, b.Repeat)),
"fac", b.Reg).LatestXT()
fe.Exec(2, fac)
//t.AssertEqual(fe.Pop(), 12)
} }
func RepTest(t *testing.T) { func RepTest(t *testing.T) {