/*
 * 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, DISABLED_DFA_recursion1){

    //TODO Error while processing recursion, There should be some diagnostic complaints here
    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();
}