diff options
| author | Martial Simon <msimon_fr@hotmail.com> | 2025-09-15 01:07:58 +0200 |
|---|---|---|
| committer | Martial Simon <msimon_fr@hotmail.com> | 2025-09-15 01:07:58 +0200 |
| commit | 967be9e750221ab2ab783f95df79bb26d290a45e (patch) | |
| tree | 6802900a5e975f9f68b169f0f503f040056d6952 /tiger-compiler/src/desugar/bounds-checking-visitor.cc | |
Diffstat (limited to 'tiger-compiler/src/desugar/bounds-checking-visitor.cc')
| -rw-r--r-- | tiger-compiler/src/desugar/bounds-checking-visitor.cc | 31 |
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 |
