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

Assign using the usual AST type.

Browse Source
This commit is contained in:
Rob Rix 2018-06-28 13:21:25 -04:00
parent d124423a98
commit 432ac62552
1 changed files with 14 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
src/Assigning/Assignment/Deterministic.hs
View File

@ -1,14 +1,14 @@
{-# LANGUAGE FunctionalDependencies, GeneralizedNewtypeDeriving, KindSignatures #-} {-# LANGUAGE FunctionalDependencies, GeneralizedNewtypeDeriving, KindSignatures #-}
module Assigning.Assignment.Deterministic where module Assigning.Assignment.Deterministic where
import Data.AST (Location) import Data.AST
import Data.Error import Data.Error
import qualified Data.Set as Set import qualified Data.Set as Set
import Data.Range import Data.Range
import Data.Record import Data.Record
import Data.Source as Source import Data.Source as Source
import Data.Span import Data.Span
import Data.Term (Term, termIn) import Data.Term (Term, termIn, termAnnotation, termOut)
import Data.Text.Encoding (decodeUtf8') import Data.Text.Encoding (decodeUtf8')
import Prologue import Prologue
@ -24,18 +24,22 @@ class Assigning grammar f => TermAssigning syntaxes grammar f | f -> grammar, f
combine :: Ord s => Bool -> Set s -> Set s -> Set s combine :: Ord s => Bool -> Set s -> Set s -> Set s
combine e s1 s2 = if e then s1 <> s2 else lowerBound combine e s1 s2 = if e then s1 <> s2 else lowerBound
data AST grammar = AST astSymbol :: AST [] grammar -> grammar
{ astSymbol :: !grammar astSymbol = nodeSymbol . termAnnotation
, astRange :: {-# UNPACK #-} !Range
, astSpan :: {-# UNPACK #-} !Span astRange :: AST [] grammar -> Range
, astChildren :: ![AST grammar] astRange = nodeByteRange . termAnnotation
}
deriving (Eq, Ord, Show) astSpan :: AST [] grammar -> Span
astSpan = nodeSpan . termAnnotation
astChildren :: AST [] grammar -> [AST [] grammar]
astChildren = termOut
data State s = State data State s = State
{ stateBytes :: {-# UNPACK #-} !Int { stateBytes :: {-# UNPACK #-} !Int
, statePos :: {-# UNPACK #-} !Pos , statePos :: {-# UNPACK #-} !Pos
, stateInput :: ![AST s] , stateInput :: ![AST [] s]
} }
deriving (Eq, Ord, Show) deriving (Eq, Ord, Show)