From 841f7017c892525ea181eef42a18f8f73689e0e7 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 16 Oct 2015 16:10:10 -0400 Subject: [PATCH] Indirection. --- prototype/Doubt/Cofree.swift | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prototype/Doubt/Cofree.swift b/prototype/Doubt/Cofree.swift index 678e89e7d..366eb95b8 100644 --- a/prototype/Doubt/Cofree.swift +++ b/prototype/Doubt/Cofree.swift @@ -4,7 +4,7 @@ /// /// This type is dual to `Free`. Where `Free` is inhabited by syntax trees where some terms are replaced with `B`s, `Cofree` is inhabited by syntax trees where all terms are annotated with `B`s. In Doubt, this allows us to e.g. annotate terms with source range information, categorization, etc. public enum Cofree { - case Unroll(B, Memo>) + indirect case Unroll(B, Memo>) public var unwrap: Syntax { switch self {