carbon-lang/executable_semantics/main.cpp

// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

#include <cstdio>
#include <cstring>
#include <iostream>

#include "executable_semantics/syntax/parse.h"
#include "executable_semantics/syntax/syntax_helpers.h"
#include "executable_semantics/tracing_flag.h"
#include "llvm/Support/CommandLine.h"

int main(int argc, char* argv[]) {
  // yydebug = 1;

  using llvm::cl::desc;
  using llvm::cl::opt;
  opt<bool> trace_option("trace", desc("Enable tracing"));
  opt<std::string> inputFileName(llvm::cl::Positional, desc("<input file>"),
                                 llvm::cl::Required);

  llvm::cl::ParseCommandLineOptions(argc, argv);
  if (trace_option) {
    Carbon::tracing_output = true;
  }

  std::variant<Carbon::AST, Carbon::SyntaxErrorCode> astOrError =
      Carbon::parse(inputFileName);

  if (auto* error = std::get_if<Carbon::SyntaxErrorCode>(&astOrError)) {
    // Diagnostic already reported to std::cerr; this is just a return code.
    return *error;
  }

  // Typecheck and run the parsed program.
  Carbon::ExecProgram(std::get<Carbon::AST>(astOrError));
}