From 8e498220ef9cc8a25cd56a0f06cb556b141d44f5 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 6 Sep 2016 22:11:03 -0700 Subject: 3301 --- 030container.cc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to '030container.cc') diff --git a/030container.cc b/030container.cc index 80d3e259..8047bd99 100644 --- a/030container.cc +++ b/030container.cc @@ -1,7 +1,7 @@ //: Containers contain a fixed number of elements of different types. :(before "End Mu Types Initialization") -//: We'll use this container as a running example, with two number elements. +//: We'll use this container as a running example in scenarios below. type_ordinal point = put(Type_ordinal, "point", Next_type_ordinal++); get_or_insert(Type, point); // initialize get(Type, point).kind = CONTAINER; @@ -13,8 +13,8 @@ get(Type, point).elements.push_back(reagent("y:number")); //: numbers, no matter how large they are. //: Tests in this layer often explicitly set up memory before reading it as a -//: container. Don't do this in general. I'm tagging exceptions with /raw to -//: avoid errors. +//: container. Don't do this in general. I'm tagging exceptions with /unsafe to +//: skip later checks. :(scenario copy_multiple_locations) def main [ 1:number <- copy 34 @@ -33,8 +33,8 @@ def main [ +error: main: can't copy '1:number' to '2:point'; types don't match :(before "End Mu Types Initialization") -// A more complex container, containing another container as one of its -// elements. +// A more complex example container, containing another container as one of +// its elements. type_ordinal point_number = put(Type_ordinal, "point-number", Next_type_ordinal++); get_or_insert(Type, point_number); // initialize get(Type, point_number).kind = CONTAINER; -- cgit 1.4.1-2-gfad0