JS: Minor grammar cleanup of type back-tracking

This commit is contained in:
Rasmus Wriedt Larsen
2021-02-18 11:31:30 +01:00
committed by GitHub
parent d94f20ff2f
commit ffd3c6b016

View File

@@ -180,8 +180,8 @@ private newtype TTypeBackTracker = MkTypeBackTracker(Boolean hasReturn, Optional
/**
* Summary of the steps needed to back-track a use of a value to a given dataflow node.
*
* This can be used to track callbacks that are passed to a certian API call, and are
* therefore expected to called with a certain type of value.
* This can be used to track callbacks that are passed to a certain API call, and are
* therefore expected to be called with a certain type of value.
*
* Note that type back-tracking does not provide a source/sink relation, that is,
* it may determine that a node will be used in an API call somewhere, but it won't