File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -352,6 +352,7 @@ instance Symbol Code.Entity where
352352 Scip. Entity_java se -> toSymbolWithPath se p
353353 Scip. Entity_kotlin se -> toSymbolWithPath se p
354354 Scip. Entity_swift se -> toSymbolWithPath se p
355+ Scip. Entity_python se -> toSymbolWithPath se p
355356 Scip. Entity_EMPTY -> throwM $ SymbolError " Unknown SCIP language"
356357
357358 _ -> throwM $ SymbolError " Language not supported"
@@ -411,6 +412,7 @@ entityToAngle e = case e of
411412 Scip. Entity_java x -> Right $ alt @ " java" (toAngle x)
412413 Scip. Entity_kotlin x -> Right $ alt @ " kotlin" (toAngle x)
413414 Scip. Entity_swift x -> Right $ alt @ " swift" (toAngle x)
415+ Scip. Entity_python x -> Right $ alt @ " python" (toAngle x)
414416 Scip. Entity_EMPTY -> Left " toAngle: Unknown SCIP language"
415417
416418 _ -> Left $
@@ -454,6 +456,7 @@ instance ToQName Code.Entity where
454456 Scip. Entity_java x -> toQName x
455457 Scip. Entity_kotlin x -> toQName x
456458 Scip. Entity_swift x -> toQName x
459+ Scip. Entity_python x -> toQName x
457460 Scip. Entity_EMPTY -> pure $ Left " SCIP: language unsupported"
458461 _ -> pure $ Left (" Language unsupported: " <> textShow (entityLanguage e))
459462
Original file line number Diff line number Diff line change @@ -147,6 +147,7 @@ instance ToSymbolSignature Code.Entity where
147147 Scip. Entity_java x -> SCIP. prettyScipSignature opts x
148148 Scip. Entity_kotlin x -> SCIP. prettyScipSignature opts x
149149 Scip. Entity_swift x -> SCIP. prettyScipSignature opts x
150+ Scip. Entity_python x -> SCIP. prettyScipSignature opts x
150151 Scip. Entity_EMPTY -> pure Nothing
151152 -- lsif languages, just enumerate completely to stay total
152153 Code. Entity_lsif e -> case e of
Original file line number Diff line number Diff line change @@ -12,6 +12,7 @@ type Entity =
1212 java : scip.SomeEntity |
1313 kotlin : scip.SomeEntity |
1414 swift: scip.SomeEntity |
15+ python: scip.SomeEntity |
1516 }
1617
1718type SymbolId = scip.Symbol
Original file line number Diff line number Diff line change @@ -194,6 +194,7 @@ type Entity =
194194 java: SomeEntity |
195195 kotlin: SomeEntity |
196196 swift: SomeEntity |
197+ python: SomeEntity |
197198 }
198199
199200# entities are scip.Definitions
@@ -216,6 +217,7 @@ predicate TagDefinition:
216217 ( TypeScript = Language; { typescript = SomeEntity }) |
217218 ( Swift = Language; { swift = SomeEntity }) |
218219 ( Java = Language; { java = SomeEntity }) |
220+ ( Python = Language; { python = SomeEntity }) |
219221 ( Kotlin = Language; { kotlin = SomeEntity }) = Entity;
220222
221223# eliminate entity language tags. inverse of TagDefinition
You can’t perform that action at this time.
0 commit comments