kylefang/stacks-puppet-node
1
0
Fork 0
mirror of https://github.com/alexgo-io/stacks-puppet-node.git synced 2026-05-13 17:11:47 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1771 from psq/patch-4

Browse Source 
Update sip-008-analysis-cost-assessment.md
This commit is contained in:
Jude Nelson
2020-07-25 18:25:06 +00:00
committed by GitHub
parent 784c606ff9 a7f3097026
commit 5cfe04e8bf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sip/sip-008-analysis-cost-assessment.md
View File

@@ -90,7 +90,7 @@ to another top-level definition.
## Type signature size
Types in Clarity may described using type signatures. For example,
Types in Clarity may be described using type signatures. For example,
`(tuple (a int) (b int))` describes a tuple with two keys `a` and `b`
of type `int`. These type descriptions are used by the Clarity analysis
passes to check the type correctness of Clarity code. Clarity type signatures
@@ -214,7 +214,7 @@ This is also the _entire_ cost of type analysis for most function calls
## Iterating the AST
Static analysis iterates over the entire program's AST in the type checker,
the trait checker, and in the read-only checker. This cost is assed
the trait checker, and in the read-only checker. This cost is assessed
as a constant cost for each node visited in the AST during the type
checking pass.