11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
auto localVarPattern = GetValueType< LocalVar >( ANYTERM( _ ) );
auto refTypePattern = ValueToIRExpr(
Value( GetValueType< ReferenceType >(), TVEC( TSID( reference ), ANYTERM( _ ), ANYTERM( _ ) ) ) );
// LocalVar unification against a param:
// Build a mutable ref value.
e.unificationRuleSet()->addSymRule(
ParamPat( ANYTERM( _ ) ),
ValueToIRExpr( ValuePattern(
ANYTERM( _ ),
localVarPattern,
ANYTERM( _ ) ) ),
|
|
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
auto localVarPattern = GetValueType< LocalVar >( ANYTERM( _ ) );
auto refTypePattern = ValueToIRExpr(
Value( GetValueType< ReferenceType >(), TVEC( TSID( reference ), ANYTERM( _ ), ANYTERM( _ ) ) ) );
// LocalVar unification against a param:
// Build a mutable ref value.
e.unificationRuleSet()->addSymRule( URINFOS,
ParamPat( ANYTERM( _ ) ),
ValueToIRExpr( ValuePattern(
ANYTERM( _ ),
localVarPattern,
ANYTERM( _ ) ) ),
|
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
.setLocationId( lvval.locationId() ) );
// Unify the param with the ref
co_yield Unify( lhs, ref, c );
} );
// LocalVar unification against another LocalVar: unify their types.
e.unificationRuleSet()->addSymRule(
ParamPat( localVarPattern ),
ValueToIRExpr( ValuePattern(
ANYTERM( _ ),
localVarPattern,
ANYTERM( _ ) ) ),
|
|
|
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
.setLocationId( lvval.locationId() ) );
// Unify the param with the ref
co_yield Unify( lhs, ref, c );
} );
// LocalVar unification against another LocalVar: unify their types.
e.unificationRuleSet()->addSymRule( URINFOS,
ParamPat( localVarPattern ),
ValueToIRExpr( ValuePattern(
ANYTERM( _ ),
localVarPattern,
ANYTERM( _ ) ) ),
|