main.cpp File Reference

#include <cstdlib>
#include <string>
#include <fe/cli.h>
#include <fe/sys.h>
#include <fe/term.h>
#include <mim/config.h>
#include <mim/driver.h>
#include <mim/flags.h>
#include <mim/phase.h>
#include <mim/plugin.h>
#include <mim/sexpr.h>
#include <mim/ast/parser.h>
#include <mim/phase/optimize.h>

Include dependency graph for main.cpp:

Go to the source code of this file.

Functions
int	main (int argc, char **argv)

Function Documentation

main()

int main	(	int	argc,
		char **	argv )

Definition at line 131 of file main.cpp.

References mim::Driver::add_arg(), mim::Driver::add_import_path(), mim::Driver::add_plugin_path(), mim::Driver::add_prefix_path(), mim::DotConfig::all_annexes, mim::World::breakpoint(), mim::DotConfig::default_filter, mim::Driver::flags(), mim::DotConfig::follow_types, mim::Driver::import_paths(), mim::DotConfig::inline_consts, mim::Driver::log(), main(), mim::Flags::None, mim::Driver::plugin_paths(), mim::Driver::rt_paths(), mim::DotConfig::show_hidden, mim::Flags::Summary, mim::Flags::Trace, mim::Flags::Tree, mim::Driver::version(), mim::World::watchpoint(), and mim::Driver::world().

Referenced by main().