#include <cstdlib>#include <cstring>#include <fstream>#include <string>#include <fe/term.h>#include <lyra/lyra.hpp>#include "mim/config.h"#include "mim/driver.h"#include "mim/flags.h"#include "mim/phase.h"#include "mim/sexpr.h"#include "mim/ast/parser.h"#include "mim/phase/optimize.h"#include "mim/util/sys.h"Go to the source code of this file.
Functions | |
| int | main (int argc, char **argv) |
Definition at line 23 of file main.cpp.
References mim::Driver::add_arg(), mim::Driver::add_search_path(), mim::DotConfig::all_annexes, mim::World::breakpoint(), mim::Profiler::chrome_trace(), mim::DotConfig::default_filter, mim::Nest::dot(), mim::World::dot(), mim::World::dump(), mim::sexpr::emit(), mim::sexpr::emit_slotted(), mim::sexpr::emit_slotted_typed(), mim::sexpr::emit_typed(), mim::sys::find_cmd(), mim::Driver::flags(), mim::DotConfig::follow_types, mim::DotConfig::inline_consts, mim::Driver::log(), MIM_ENABLE_CHECKS, MIM_WHICH, mim::Flags::None, mim::optimize(), mim::Driver::profiler(), mim::Driver::search_paths(), mim::Log::set(), mim::World::set(), mim::DotConfig::show_hidden, mim::Flags::Summary, mim::Profiler::summary(), mim::World::sym(), mim::Flags::Trace, mim::Flags::Tree, mim::Profiler::tree(), mim::Driver::version(), mim::World::watchpoint(), and mim::Driver::world().