github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

🔥 Rose.

Browse Source
This commit is contained in:
Rob Rix 2017-06-07 14:23:33 -04:00
parent 52be6902a8
commit af80bca937
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Syntax/Assignment.hs
View File

@ -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.