/*
 * diagnostic-messages.cpp
 *
 *  Created on: Oct 27, 2015
 *      Author: pgess
 */

#include "passmanager.h"
#include "pass/dfapass.h"

#include "gtest/gtest.h"

using namespace std;
using namespace xreate;

TEST(Diagnostic_DFA, DISABLED_recursion1){

	//Error while processing recursion, There should be some diagnostic complaints
	std::string code = \
			"test1 = function()::[int] {\n"
			"	varRecursion = loop map(varRecursion->el:: int)::[int]{\n"
			"		el\n"
			"	}.\n"
			"	\n"
			"	varRecursion\n"
			"}";

	PassManager* man = PassManager::prepareForCode(move(code));
	DFAPass* pass = new DFAPass(man);
	pass->run();
	pass->finish();
}