about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-04-28 21:39:24 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-04-28 21:39:24 -0700
commit42eeea1d779dbda47e06936536b2ab7989ea4ea0 (patch)
treed182155a543f43b17c32bd6f74011965d1e60b27
parentbce7a14b6170eeb34568a6c0735a1bc5723c858e (diff)
downloadmu-42eeea1d779dbda47e06936536b2ab7989ea4ea0.tar.gz
2884
-rw-r--r--057shape_shifting_container.cc4
1 files changed, 4 insertions, 0 deletions
diff --git a/057shape_shifting_container.cc b/057shape_shifting_container.cc
index e57edc1f..5427d3a1 100644
--- a/057shape_shifting_container.cc
+++ b/057shape_shifting_container.cc
@@ -74,6 +74,10 @@ container foo:_b [
 
 :(before "End Globals")
 // We'll use large type ordinals to mean "the following type of the variable".
+// For example, if we have a generic type called foo:_elem, the type
+// ingredient _elem in foo's type_info will have value START_TYPE_INGREDIENTS,
+// and we'll handle it by looking in the current reagent for the next type
+// that appears after foo.
 const int START_TYPE_INGREDIENTS = 2000;
 :(before "End Commandline Parsing")  // after loading .mu files
 assert(Next_type_ordinal < START_TYPE_INGREDIENTS);