107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
-
+
-
+
|
content = ValueToIRExpr( *result );
}
result = get< Term >( content );
return Env::Status::Success;
};
context.env()->storeValue( localIdentity, ANYTERM( c ),
context.env()->storeValue( localIdentity, ANYTERM( _ ),
make_shared< Env::ValueProvider >( move( UsingValProvider ) ) );
return true;
};
Rule r( handleUsing );
auto ruleVal = ToValue( move( r ) );
auto ruleTerm = ValueToIRExpr( ruleVal );
e.storeValue( TVEC( TSID( e0 ), TSID( using ) ), ANYTERM( x ), ruleTerm );
e.storeValue( TVEC( TSID( e0 ), TSID( using ) ), ANYTERM( _ ), ruleTerm );
}
}
|