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

Fix Message instances for Span and Position

Browse Source
This commit is contained in:
Timothy Clem 2018-09-06 15:12:31 -07:00
parent f0d164f952
commit b29c3a57ae
1 changed files with 20 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/Data/Span.hs
View File

@ -24,12 +24,17 @@ data Pos = Pos
{ posLine :: !Int
, posColumn :: !Int
}
deriving (Show, Read, Eq, Ord, Generic, Hashable, Named, Message)
deriving (Show, Read, Eq, Ord, Generic, Hashable)
instance MessageField Pos where
encodeMessageField num = Encode.embedded num . encodeMessage (fieldNumber 1)
decodeMessageField = fromMaybe def <$> Decode.embedded (decodeMessage (fieldNumber 1))
protoType pr = messageField (Prim $ Named (Single (nameOf pr))) Nothing
instance Named Pos where nameOf _ = "Position"
instance Message Pos where
encodeMessage num Pos{..} = Encode.embedded num (encodePrimitive 1 posLine <> encodePrimitive 2 posColumn)
-- TODO: FIXME
decodeMessage = undefined -- fromMaybe def <$> Decode.embedded (decodeMessage (fieldNumber 1))
dotProto _ =
[ DotProtoMessageField $ DotProtoField 1 (Prim Int64) (Single "line") [] Nothing
, DotProtoMessageField $ DotProtoField 2 (Prim Int64) (Single "column") [] Nothing
]
instance HasDefault Pos where
def = Pos 1 1
@ -50,7 +55,16 @@ data Span = Span
{ spanStart :: Pos
, spanEnd :: Pos
}
deriving (Show, Read, Eq, Ord, Generic, Hashable, Named, Message)
deriving (Show, Read, Eq, Ord, Generic, Hashable, Named)
instance Message Span where
encodeMessage num Span{..} = Encode.embedded num (encodeMessage 1 spanStart <> encodeMessage 2 spanEnd)
decodeMessage = undefined
dotProto _ =
[ DotProtoMessageField $ DotProtoField 1 (Prim . Named $ Single (nameOf (Proxy @Pos))) (Single "start") [] Nothing
, DotProtoMessageField $ DotProtoField 2 (Prim . Named $ Single (nameOf (Proxy @Pos))) (Single "end") [] Nothing
]
spanFromSrcLoc :: SrcLoc -> Span
spanFromSrcLoc = Span . (Pos . srcLocStartLine <*> srcLocStartCol) <*> (Pos . srcLocEndLine <*> srcLocEndCol)