fix typo
This commit is contained in:
parent
a9c92eba76
commit
991a538a79
1 changed files with 1 additions and 1 deletions
|
|
@ -218,7 +218,7 @@ for later verification.
|
|||
than eagerly instantiating all of the canonical values in the result
|
||||
with variables, we instead walk the vector of values, looking for
|
||||
cases where the value is just a canonical variable. In our example,
|
||||
`values[2]` is `?C`, so that we means we can deduce that `?C := ?B and
|
||||
`values[2]` is `?C`, so that means we can deduce that `?C := ?B and
|
||||
`'?D := 'static`. This gives us a partial set of values. Anything for
|
||||
which we do not find a value, we create an inference variable.)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue