diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-09-01 01:50:10 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-09-01 01:50:10 -0700 |
commit | 7d07cd1de8d731c82b6acc2817bb219227d36fc2 (patch) | |
tree | c5a7bdbf3aa1201a5463cf2dc48a62650368962b /043space.cc | |
parent | 53930831c4185c5ccb56864c881acf6d67dd1bd1 (diff) | |
download | mu-7d07cd1de8d731c82b6acc2817bb219227d36fc2.tar.gz |
3987
Diffstat (limited to '043space.cc')
-rw-r--r-- | 043space.cc | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/043space.cc b/043space.cc index 90bb3350..647176c4 100644 --- a/043space.cc +++ b/043space.cc @@ -154,8 +154,8 @@ def main [ :(before "Read element" following "case INDEX:") element.properties.push_back(pair<string, string_tree*>("raw", NULL)); -//:: convenience operation to automatically deduce the amount of space to -//:: allocate in a default space with names +//:: 'new-default-space' is a convenience operation to automatically deduce +//:: the amount of space to allocate in a default space with names :(scenario new_default_space) def main [ @@ -173,9 +173,11 @@ if (x.name == "number-of-locals") if (s == "number-of-locals") return true; :(before "End Rewrite Instruction(curr, recipe result)") -// rewrite `new-default-space` to -// `default-space:space <- new location:type, number-of-locals:literal` -// where N is Name[recipe][""] +// rewrite 'new-default-space' to +// ``` +// default-space:space <- new location:type, number-of-locals:literal +// ``` +// where number-of-locals is Name[recipe][""] if (curr.name == "new-default-space") { rewrite_default_space_instruction(curr); } |