From 45b6fb61a00d7b8ce0a79479329e6817367d97ea Mon Sep 17 00:00:00 2001 From: Charlie Stanton Date: Fri, 21 Apr 2023 15:17:52 +0100 Subject: All registers are now lists of atoms instead of lists of values This is to reduce the amount of translating between them that needs to be done --- main/command.go | 31 +++++++++++++++++-------------- 1 file changed, 17 insertions(+), 14 deletions(-) (limited to 'main/command.go') diff --git a/main/command.go b/main/command.go index 136fb26..a0ac35e 100644 --- a/main/command.go +++ b/main/command.go @@ -11,8 +11,16 @@ type Command interface { type PrintValueCommand struct {} func (cmd PrintValueCommand) exec(state *ProgramState) { - path := walk.PathFromWalkValues(state.path) - for _, value := range state.value { + pathValues, err := walk.Compound(state.path) + if err != nil { + panic("Tried to convert invalid atoms to values") + } + path := walk.PathFromWalkValues(pathValues) + values, err := walk.Compound(state.value) + if err != nil { + panic("Tried to convert invalid atoms to values") + } + for _, value := range values { state.out <- walk.WalkItem { Value: value, Path: path, @@ -32,15 +40,15 @@ func (cmd SequenceCommand) exec(state *ProgramState) { type NextCommand struct {} func (cmd NextCommand) exec(state *ProgramState) { nextItem := <- state.in - state.value = []walk.WalkValue{nextItem.Value} - state.path = nextItem.Path.ToWalkValues() + state.value = walk.Atomise([]walk.WalkValue{nextItem.Value}) + state.path = walk.Atomise(nextItem.Path.ToWalkValues()) } type AppendNextCommand struct {} func (cmd AppendNextCommand) exec(state *ProgramState) { nextItem := <- state.in - state.value = append(state.value, nextItem.Value) - state.path = nextItem.Path.ToWalkValues() + state.value = append(state.value, walk.Atomise([]walk.WalkValue{nextItem.Value})...) + state.path = walk.Atomise(nextItem.Path.ToWalkValues()) } type DeleteValueCommand struct {} @@ -53,17 +61,12 @@ func (cmd DeletePathCommand) exec(state *ProgramState) { state.path = nil } -func runSubex(state subex.SubexState, in []walk.WalkValue) (out []walk.WalkValue, error bool) { - atomsIn := walk.Atomise(in) - atomsOut, error := subex.RunTransducer(state, atomsIn) +func runSubex(state subex.SubexState, in []walk.Atom) (out []walk.Atom, error bool) { + atomsOut, error := subex.RunTransducer(state, in) if error { return nil, true } - valuesOut, err := walk.Compound(atomsOut) - if err != nil { - return nil, true - } - return valuesOut, false + return atomsOut, false } type SubstituteValueCommand struct { -- cgit v1.2.3