~eda-qa/leaflang/cpp

« back to all changes in this revision

Viewing changes to src/ir/compiler_leaf.cpp

Committer: edA-qa mort-ora-y
Date: 2017-06-03 05:03:54 UTC
mfrom: (98.1.18 typefixes)
Revision ID: eda-qa@disemia.com-20170603050354-6hfg5huvq56zjs66

merging typefixes

files added:
share/type_hierarchy.dot

share/unit_tests/block/class/copy_default.lfb

share/unit_tests/block/conditional/fail_nested_else.lfb

share/unit_tests/block/conditional/fail_nested_then.lfb

share/unit_tests/block/parametric/function/arg_replace.lfb

share/unit_tests/block/service

share/unit_tests/block/service/basic.lfb

share/unit_tests/block/service/basic_arg.lfb

share/unit_tests/block/service/basic_type.lfb

share/unit_tests/block/service/basic_type_alias.lfb

share/unit_tests/block/service/basic_type_symbol.lfb

share/unit_tests/block/service/fail_no_copy.lfb

share/unit_tests/block/service/fail_no_copy_arg.lfb

share/unit_tests/block/service/fail_no_copy_assign.lfb

share/unit_tests/block/service/fail_no_copy_return.lfb

src/lang/type_identifier

src/lang/type_identifier/defaults.inc.cpp

src/lang/type_identifier/determine.inc.cpp

src/lang/type_identifier/expand.inc.cpp

src/lang/type_identifier/get_spec.inc.cpp

src/lang/type_identifier/instantiate.inc.cpp

src/lang/type_identifier/parameterize.inc.cpp

files modified:
include/ir/type.hpp

include/lang/class_typer.hpp

include/lang/context.hpp

include/lang/extr_type.hpp

include/lang/extr_type.inl

include/lang/intr_type.hpp

include/lang/type_identifier.hpp

include/lang/typedef_statement.hpp

include/parser/node.hpp

include/parser/node_parser.hpp

share/exe_tests/_libs/std/quicksort.leaf

share/exe_tests/_libs/sys/file.leaf

share/exe_tests/file/main.leaf

share/exe_tests/sortfile/main.leaf

share/kate_highlight.xml

share/pygments_lexer.py

share/unit_tests/block/conditional/then_return.lfb

share/unit_tests/block/scenario/infer_1.lfb

src/ir/compiler.cpp

src/ir/compiler_leaf.cpp

src/ir/type.cpp

src/ir/type_manager_leaf.cpp

src/lang/class_typer.cpp

src/lang/context.cpp

src/lang/dump/statement.inc.cpp

src/lang/dump/type.inc.cpp

src/lang/dump/type_spec.inc.cpp

src/lang/expression_typer/builtin.cpp

src/lang/expression_typer/common.cpp

src/lang/expression_typer/fields.cpp

src/lang/expression_typer/funccall.cpp

src/lang/expression_typer/funccall_type.cpp

src/lang/expression_typer/funcdefn.cpp

src/lang/intr_type.cpp

src/lang/serial_type.cpp

src/lang/type_converter.cpp

src/lang/type_identifier.cpp

src/lang/typer.cpp

src/parser/node_converter.cpp

src/parser/node_parser.cpp

src/test/expr_common.hpp

src/test/type_converter_common.hpp

src/test/type_converter_function_call.cpp

src/test/type_converter_match_function.cpp

src/test/type_converter_parameterize_type.cpp

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_get_spec.cpp

src/test/type_identifier_infer.cpp

Show diffs side-by-side

added added

removed removed

src/ir/compiler_leaf.cpp

752

753

value_ref compiler_leaf::eval_field( leaf::expr_field const & expr, builder & where, unsigned /*eval_flags*/ ) {

754

STATE_CHECK( expr.base->type.extr().is<leaf::intr_type_compound>()

755

|| expr.base->type.extr().is<leaf::intr_type_class>() );

755

|| expr.base->type.extr().is<leaf::intr_type_classlike>() );

756

757

value_ref base = eval_single_expr( *expr.base, where );

758

Older »