~eda-qa/leaflang/ir_value

« back to all changes in this revision

Viewing changes to src/lang/type_manager.cpp

Committer: edA-qa mort-ora-y
Date: 2014-11-08 10:57:34 UTC
mfrom: (80.1.14 identify_spec_type)
Revision ID: eda-qa@disemia.com-20141108105734-3w9riyl35gx9s701

merge spec type

files added:
src/lang/type_spec.cpp

files modified:
include/lang/cerr.hpp

include/lang/extr_type.hpp

include/lang/scope.hpp

include/lang/type_identifier.hpp

include/lang/type_spec.hpp

include/platform/gnu_linux_x86_64.hpp

share/unit_tests/block/parametric/type/fail_extr.lfb

src/SConscript

src/lang/conversion_applicator.cpp

src/lang/dump.cpp

src/lang/expression_typer/builtin.cpp

src/lang/expression_typer/common.cpp

src/lang/intr_type.cpp

src/lang/scope.cpp

src/lang/type_identifier.cpp

src/lang/type_manager.cpp

src/lang/typer.cpp

src/parser/intr_type_parser.cpp

src/test/expr_conversion_test.cpp

src/test/type_converter_common.hpp

src/test/type_converter_test.cpp

src/test/type_identifier_constrain.cpp

src/test/type_identifier_determine.cpp

src/test/type_identifier_expand.cpp

src/test/type_identifier_infer.cpp

Show diffs side-by-side

added added

removed removed

src/lang/type_manager.cpp

type_manager::type_manager( shared_ptr<scope> root ) :

root( root ) {

auto cur = root->if_get_fun_type( "__integer_range" );

auto cur = root->if_get_symbol( "__integer_range" );

if( !cur ) {

auto rt = make_shared<intr_type_tuple>();

rt->distinct = true;

root->add_fun_type( rt );

integer_range = rt;

} else {

STATE_CHECK( cur->is<intr_type_tuple>() );

integer_range = std::dynamic_pointer_cast<intr_type_tuple const>(cur);

STATE_CHECK( cur->what == scope_symbol::w_fun_type &&

cur->fun_type->is<intr_type_tuple>() );

integer_range = std::dynamic_pointer_cast<intr_type_tuple const>(cur->fun_type);

}

Older »