1902

Now fix the proximal cause of the write to address 0.

3 files changed, 16 insertions, 2 deletions

diff --git a/031address.cc b/031address.cc
index d139c4cf..e79ff314 100644
--- a/031address.cc
+++ b/031address.cc
@@ -24,6 +24,20 @@ recipe main [
 
 :(before "long long int base = x.value" following "void write_memory(reagent x, vector<double> data)")
 x = canonize(x);
+if (x.value == 0) {
+  raise << "can't write to location 0\n" << end();
+  return;
+}
+
+//: writes to address 0 always loudly fail
+:(scenario store_to_0_warns)
+% Hide_warnings = true;
+recipe main [
+  1:address:number <- copy 0
+  1:address:number/lookup <- copy 34
+]
+-mem: storing 34 in location 0
++warn: can't write to location 0
 
 :(code)
 reagent canonize(reagent x) {
diff --git a/042name.cc b/042name.cc
index ae27f5bf..7620a7e8 100644
--- a/042name.cc
+++ b/042name.cc
@@ -141,10 +141,12 @@ recipe main [
 
 //: an escape hatch to suppress name conversion that we'll use later
 :(scenario transform_names_passes_raw)
+% Hide_warnings = true;
 recipe main [
   x:number/raw <- copy 0
 ]
 -name: assign x 1
++warn: can't write to location 0
 
 :(scenario transform_names_warns_when_mixing_names_and_numeric_locations)
 % Hide_warnings = true;
diff --git a/048typecheck.cc b/048typecheck.cc
index 090e3033..5c22a436 100644
--- a/048typecheck.cc
+++ b/048typecheck.cc
@@ -80,5 +80,3 @@ recipe main [
   x:number <- copy 2
 ]
 +warn: missing type in 'x <- copy 1'
-+warn: x <- copy 1: reagent not initialized: x
-+warn: main: size mismatch in storing to x at 'x <- copy 1'