From f116818c7c6e98a5d9bfa7058096b42df85d8e1c Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 10 Nov 2016 10:24:14 -0800 Subject: 3656 Periodic cleanup to replace 'reply' with 'return' everywhere in the repo. I use 'reply' for students to help reinforce the metaphor of function calls as being like messages through a pipe. But that causes 'reply' to get into my muscle memory when writing Mu code for myself, and I worry that that makes Mu seem unnecessarily alien to anybody reading on Github. Perhaps I should just give it up? I'll try using 'return' with my next student. --- 055shape_shifting_container.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '055shape_shifting_container.cc') diff --git a/055shape_shifting_container.cc b/055shape_shifting_container.cc index dec225dc..1953a3c6 100644 --- a/055shape_shifting_container.cc +++ b/055shape_shifting_container.cc @@ -244,7 +244,7 @@ def main [ +run: {6: ("foo" "point")} <- merge {1: "literal", "y": ()}, {23: "literal"} +mem: storing 1 in location 6 +mem: storing 23 in location 7 -+run: reply ++run: return # no other stores % CHECK_EQ(trace_count_prefix("mem", "storing"), 7); -- cgit 1.4.1-2-gfad0