diff options
Diffstat (limited to 'src/test/test3.sail')
| -rw-r--r-- | src/test/test3.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/test/test3.sail b/src/test/test3.sail index 36952bf7..51eafbf1 100644 --- a/src/test/test3.sail +++ b/src/test/test3.sail @@ -1,5 +1,5 @@ (* a register containing nat numbers *) -register nat reg +register nat dummy_reg (* a function to read from memory; wmem serves no purpose currently, memory-writing functions are figured out syntactically. *) val ( nat -> nat effect { wmem , rmem } ) MEM @@ -10,7 +10,7 @@ function nat main _ = { (* left-hand side function call = memory write *) MEM(0) := 1; (* register read, thanks to register declaration *) - reg; + dummy_reg; (* register write, idem *) - reg := 1; + dummy_reg := 1; } |