[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Cannot define macro in pluscal.

When I try and define a macro in pluscal like this (copied from the learntla website):

(*--algorithm test
variables A \in [ 1..N -> Int ], A0=A, piv;

macro set_fork(fork, val) begin
     forks[fork] := val;
end macro;
piv := 0;

end algorithm *)

I get the error:

Expected ":=" but found "begin"

with the "begin" to the right of set_fork underlined. 

Am I doing anything obviously wrong?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/8fe38819-8310-4c78-abf8-beeb171b580bn%40googlegroups.com.