We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1108762 commit e193e6eCopy full SHA for e193e6e
1 file changed
src/analysis/typepal/ISolver.rsc
@@ -26,7 +26,7 @@ data Solver
26
/* Types */ AType(value) getType,
27
AType (Tree occ, loc scope, set[IdRole] idRoles) getTypeInScope,
28
AType (str name, loc scope, set[IdRole] idRoles) getTypeInScopeFromName,
29
- AType (Tree container, Tree selector, set[IdRole] idRolesSel, loc scope) getTypeInType,
+ AType (value container, Tree selector, set[IdRole] idRolesSel, loc scope) getTypeInType,
30
rel[str id, AType atype] (AType containerType, loc scope, set[IdRole] idRoles) getAllDefinedInType,
31
/* Fact */ void (value, AType) fact,
32
void (value, AType) specializedFact,
0 commit comments