summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/desugar/bounds-checking-visitor.cc
diff options
context:
space:
mode:
Diffstat (limited to 'tiger-compiler/src/desugar/bounds-checking-visitor.cc')
-rw-r--r--tiger-compiler/src/desugar/bounds-checking-visitor.cc31
1 files changed, 31 insertions, 0 deletions
diff --git a/tiger-compiler/src/desugar/bounds-checking-visitor.cc b/tiger-compiler/src/desugar/bounds-checking-visitor.cc
new file mode 100644
index 0000000..30f691e
--- /dev/null
+++ b/tiger-compiler/src/desugar/bounds-checking-visitor.cc
@@ -0,0 +1,31 @@
+/**
+ ** \file desugar/bounds-checking-visitor.cc
+ ** \brief Implementation of desugar::BoundsCheckingVisitor.
+ */
+
+#include <ast/all.hh>
+#include <ast/libast.hh>
+#include <desugar/bounds-checking-visitor.hh>
+#include <misc/symbol.hh>
+#include <parse/libparse.hh>
+
+namespace desugar
+{
+ namespace
+ {
+ /// Return the name of the boxed type for \a s.
+ std::string box(misc::symbol s) { return "_box_" + s.get(); }
+
+ } // namespace
+
+ BoundsCheckingVisitor::BoundsCheckingVisitor()
+ : super_type()
+ {}
+
+ /*-----------------------.
+ | Array bounds checking. |
+ `-----------------------*/
+
+ // FIXME: Some code was deleted here.
+
+} // namespace desugar