summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/module_tree.hpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2018-06-04 13:21:22 +0800
committerJohn Hodge <tpg@mutabah.net>2018-06-04 13:21:22 +0800
commit42bdc18d4ba8f9fd19109050eb83bb6615539a75 (patch)
tree88501e01485038ad879160383b60c2e02b97f96e /tools/standalone_miri/module_tree.hpp
parent8d99deade68a9c995101fd5944f9011fcf3dccc7 (diff)
downloadmrust-42bdc18d4ba8f9fd19109050eb83bb6615539a75.tar.gz
All - Ensure that all files have a header comment, remove some dead code
Diffstat (limited to 'tools/standalone_miri/module_tree.hpp')
-rw-r--r--tools/standalone_miri/module_tree.hpp11
1 files changed, 8 insertions, 3 deletions
diff --git a/tools/standalone_miri/module_tree.hpp b/tools/standalone_miri/module_tree.hpp
index 5479d9ef..efa0a034 100644
--- a/tools/standalone_miri/module_tree.hpp
+++ b/tools/standalone_miri/module_tree.hpp
@@ -1,6 +1,10 @@
-//
-//
-//
+/*
+ * mrustc Standalone MIRI
+ * - by John Hodge (Mutabah)
+ *
+ * module_tree.hpp
+ * - In-memory representation of a Monomorphised MIR executable (HEADER)
+ */
#pragma once
#include <string>
#include <vector>
@@ -27,6 +31,7 @@ struct Function
struct Static
{
::HIR::TypeRef ty;
+ // TODO: Should this value be stored in the program state (making the entire `ModuleTree` const)
Value val;
};