github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-25 11:04:00 +03:00
Code Issues Projects Releases Wiki Activity

Annotate terms with their sizes.

Browse Source
This commit is contained in:
Rob Rix 2015-10-14 14:40:21 -04:00
parent 645e038982
commit ed004ca4c1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prototype/doubt-json/main.swift
View File

@ -69,7 +69,7 @@ extension JSON {
var term: Term {
func annotate(json: Syntax<Term, JSONLeaf>) -> Term {
return Cofree(0, json)
return Cofree(size(json), json)
}
func size(syntax: Syntax<Term, JSONLeaf>) -> Int {
switch syntax {