← Back to branch summary

~eda-qa/leaflang/master

~eda-qa/leaflang/master

« back to all changes in this revision

Viewing changes to share/unit_tests/block/parametric/function/type_infer_return.lfb

Committer: edA-qa mort-ora-y
Date: 2018-02-25 08:05:17 UTC
mfrom: (106.1.27 error_msgs)
Revision ID: eda-qa@disemia.com-20180225080517-sspafdjts2vqu90t

merging error_msgs

files added:
share/unit_tests/block/func/arg_name_reuse.lfb

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

files modified:
include/lang/common.hpp

include/lang/expression.hpp

include/lang/expression_typer/common.hpp

include/lang/scope.hpp

include/lang/type_identifier.hpp

src/bin/test_expecter.cpp

src/lang/expression.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_ctor.cpp

src/lang/scope.cpp

src/lang/type_identifier/determine.inc.cpp

src/lang/type_identifier/expand.inc.cpp

src/lang/type_identifier/parameterize.inc.cpp

src/lang/typer.cpp

src/test/type_identifier_determine.cpp

src/test/type_identifier_infer.cpp

Show diffs side-by-side

added added

removed removed

1

/* EXPECT(A) */

2

defn pine = ( a ) -> ( : type_infer(a) ) {

3

return a

4

}

5

6

trace( pine('A') )

7

Older »