From 7d07cd1de8d731c82b6acc2817bb219227d36fc2 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 1 Sep 2017 01:50:10 -0700 Subject: 3987 --- 043space.cc | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to '043space.cc') 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("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); } -- cgit 1.4.1-2-gfad0