From af80bca937e85ebee489cdd96fe7883266cfccb0 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 7 Jun 2017 14:23:33 -0400 Subject: [PATCH] :fire: Rose. --- src/Data/Syntax/Assignment.hs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/Data/Syntax/Assignment.hs b/src/Data/Syntax/Assignment.hs index a19e36de1..f3dc4c262 100644 --- a/src/Data/Syntax/Assignment.hs +++ b/src/Data/Syntax/Assignment.hs @@ -66,7 +66,6 @@ module Data.Syntax.Assignment , symbol , source , children -, Rose , Node , AST , Result(..) @@ -133,9 +132,6 @@ children :: HasCallStack => Assignment grammar a -> Assignment grammar a children forEach = withFrozenCallStack $ Children forEach `Then` return --- | A rose tree. -type Rose = Cofree [] - -- | A location specified as possibly-empty intervals of bytes and line/column positions. type Location = Record '[Info.Range, Info.SourceSpan] @@ -143,7 +139,7 @@ type Location = Record '[Info.Range, Info.SourceSpan] type Node grammar = Record '[Maybe grammar, Info.Range, Info.SourceSpan] -- | An abstract syntax tree in some 'grammar', with symbols and location information annotating each node. -type AST grammar = Rose (Node grammar) +type AST grammar = Cofree [] (Node grammar) -- | The result of assignment, possibly containing an error.