github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity

Qualify the grammar type.

Browse Source
This commit is contained in:
Rob Rix 2017-06-07 18:35:19 -04:00
parent 79389707fb
commit 20228b8a4d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Language/Markdown/Syntax.hs
View File

@ -2,7 +2,7 @@
module Language.Markdown.Syntax module Language.Markdown.Syntax
( assignment ( assignment
, Syntax , Syntax
, Grammar , Grammar.Grammar
, Error , Error
, Term , Term
) where ) where
@ -16,7 +16,7 @@ import Data.Record
import Data.Syntax.Assignment hiding (Assignment, Error) import Data.Syntax.Assignment hiding (Assignment, Error)
import GHC.Generics import GHC.Generics
import GHC.Stack import GHC.Stack
import Language.Markdown as Grammar (Grammar(..)) import qualified Language.Markdown as Grammar (Grammar(..))
import qualified Data.Syntax.Assignment as Assignment import qualified Data.Syntax.Assignment as Assignment
import qualified Data.Syntax as Syntax import qualified Data.Syntax as Syntax
import Prologue hiding (Location) import Prologue hiding (Location)
@ -41,9 +41,9 @@ instance Eq1 Paragraph where liftEq = genericLiftEq
instance Show1 Paragraph where liftShowsPrec = genericLiftShowsPrec instance Show1 Paragraph where liftShowsPrec = genericLiftShowsPrec
type Error = Assignment.Error Grammar type Error = Assignment.Error Grammar.Grammar
type Term = Term.Term (Union Syntax) (Record Location) type Term = Term.Term (Union Syntax) (Record Location)
type Assignment = HasCallStack => Assignment.Assignment (Cofree [] (Record (CMark.NodeType ': Location))) Grammar Term type Assignment = HasCallStack => Assignment.Assignment (Cofree [] (Record (CMark.NodeType ': Location))) Grammar.Grammar Term
assignment :: Assignment assignment :: Assignment
assignment = empty assignment = empty