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

Remove dotProto args

Browse Source
This commit is contained in:
joshvera 2018-05-30 12:58:08 -04:00
parent a28a4c15f6
commit 9e464d2e64
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Syntax.hs
View File

@ -109,7 +109,7 @@ instance (Apply Message1 fs, Generate Message1 fs fs, Generate GenericNamed fs f
where
listOfParsers =
generate @Message1 @fs @fs (\ (proxy :: proxy f) i -> let num = FieldNumber (fromInteger (succ i)) in [(num, fromJust <$> embedded (inject @f @fs <$> liftDecodeMessage decodeMessage num))])
liftDotProto dotProto _ =
liftDotProto _ =
[Proto.DotProtoMessageOneOf (Proto.Single "syntax") (generate @GenericNamed @fs @fs (\ (proxy :: proxy f) i ->
let
num = FieldNumber (fromInteger (succ i))

2
src/Data/Term.hs
View File

@ -82,7 +82,7 @@ instance (Show1 f, Show a) => Show (Term f a) where
instance (Message1 f) => Message (Term f ()) where
encodeMessage num (Term (In _ f)) = liftEncodeMessage encodeMessage num f
decodeMessage num = termIn () <$> liftDecodeMessage decodeMessage num
dotProto _ = liftDotProto (dotProto @(Term f ())) (Proxy @(f (Term f ())))
dotProto _ = liftDotProto (Proxy @(f (Term f ())))
instance Named (Term f ()) where
nameOf _ = "Term"