65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return;
pTemplateRuleSet->setup( c, tcc, tpl );
}
uint64_t TemplateHashTypePredicates( const Context& c, const TypeCheckingContext& tcc, const Term& tpl )
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return 0;
return pTemplateRuleSet->hashTypePredicates( c, tcc, tpl );
}
|
>
|
|
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return;
pTemplateRuleSet->setup( c, tcc, tpl );
}
uint64_t TemplateHashTypePredicates(
const Context& c, const TypeCheckingContext& tcc, const Term& tpl )
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return 0;
return pTemplateRuleSet->hashTypePredicates( c, tcc, tpl );
}
|
91
92
93
94
95
96
97
98
|
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return false;
return pTemplateRuleSet->isPackExpr( c, tpl );
}
}
|
|
|
92
93
94
95
96
97
98
99
|
{
const auto pTemplateRuleSet = GetTemplateRuleSet( c, tpl );
if( !pTemplateRuleSet )
return false;
return pTemplateRuleSet->isPackExpr( c, tpl );
}
} // namespace goose::sema
|