From 850822ffbfd441d05161452be28b54f882b1b378 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 1 Nov 2017 03:41:16 -0700 Subject: 4102 --- html/003trace.cc.html | 49 ++++++++++++++++++++++++------------------------- 1 file changed, 24 insertions(+), 25 deletions(-) (limited to 'html/003trace.cc.html') diff --git a/html/003trace.cc.html b/html/003trace.cc.html index 614b9eeb..b374865a 100644 --- a/html/003trace.cc.html +++ b/html/003trace.cc.html @@ -447,31 +447,30 @@ if ('onhashchange' in window) { 386 using std::map; 387 #include <set> 388 using std::set; -389 #include <algorithm> -390 -391 #include <sstream> -392 using std::istringstream; -393 using std::ostringstream; -394 -395 #include <fstream> -396 using std::ifstream; -397 using std::ofstream; -398 -399 #include "termbox/termbox.h" -400 -401 :(before "End Globals") -402 //: In future layers we'll use the depth field as follows: -403 //: -404 //: Errors will be depth 0. -405 //: Mu 'applications' will be able to use depths 1-100 as they like. -406 //: Primitive statements will occupy 101-9989 -407 extern const int Initial_callstack_depth = 101; -408 extern const int Max_callstack_depth = 9989; -409 //: Finally, details of primitive Mu statements will occupy depth 9990-9999 -410 //: (more on that later as well) -411 //: -412 //: This framework should help us hide some details at each level, mixing -413 //: static ideas like layers with the dynamic notion of call-stack depth. +389 +390 #include <sstream> +391 using std::istringstream; +392 using std::ostringstream; +393 +394 #include <fstream> +395 using std::ifstream; +396 using std::ofstream; +397 +398 #include "termbox/termbox.h" +399 +400 :(before "End Globals") +401 //: In future layers we'll use the depth field as follows: +402 //: +403 //: Errors will be depth 0. +404 //: Mu 'applications' will be able to use depths 1-100 as they like. +405 //: Primitive statements will occupy 101-9989 +406 extern const int Initial_callstack_depth = 101; +407 extern const int Max_callstack_depth = 9989; +408 //: Finally, details of primitive Mu statements will occupy depth 9990-9999 +409 //: (more on that later as well) +410 //: +411 //: This framework should help us hide some details at each level, mixing +412 //: static ideas like layers with the dynamic notion of call-stack depth. -- cgit 1.4.1-2-gfad0