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

Assign fixity declarations

Browse Source
This commit is contained in:
Rick Winfrey 2018-06-18 12:11:06 -07:00
parent f75c1e236b
commit 7e7485d7c4
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Language/Haskell/Assignment.hs
View File

@ -57,6 +57,7 @@ type Syntax = '[
, Syntax.EqualityConstraint
, Syntax.Export
, Syntax.Field
, Syntax.Fixity'
, Syntax.FunctionConstructor
, Syntax.FunctionType
, Syntax.GADT
@ -241,6 +242,7 @@ expressionChoices = [
, do'
, equalityConstraint
, expression'
, fixityDeclaration
, float
, functionConstructor
, functionDeclaration
@ -329,6 +331,9 @@ field = makeTerm
where
fieldType = makeTerm <$> location <*> (Syntax.Type <$> term (type' <|> typeVariableIdentifier) <*> typeParameters <*> (kindSignature <|> emptyTerm))
fixityDeclaration :: Assignment
fixityDeclaration = makeTerm <$> symbol FixityDeclaration <*> children (Syntax.Fixity' <$> (integer <|> emptyTerm) <*> manyTerm expression)
float :: Assignment
float = makeTerm <$> symbol Float <*> (Literal.Float <$> source)

9
src/Language/Haskell/Syntax.hs
View File

@ -652,3 +652,12 @@ instance Show1 TypeClass where liftShowsPrec = genericLiftShowsPrec
instance Evaluatable TypeClass
data Fixity' a = Fixity' { fixityPrecedence :: a, fixityIdentifier :: [a] }
deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable)
instance Eq1 Fixity' where liftEq = genericLiftEq
instance Ord1 Fixity' where liftCompare = genericLiftCompare
instance Show1 Fixity' where liftShowsPrec = genericLiftShowsPrec
instance Evaluatable Fixity'