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

CofreeType requires a constructor.

Browse Source
This commit is contained in:
Rob Rix 2015-10-22 18:02:44 -04:00
parent 4195edc469
commit c6962c798d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
prototype/Doubt/Cofree.swift
View File

@ -117,6 +117,7 @@ extension Cofree where Annotation: Categorizable {
public protocol CofreeType: TermType {
typealias Annotation
init(_ annotation: Annotation, _ syntax: Syntax<Self, Leaf>)
var extract: Annotation { get }
}