Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/deprecation_definition.v", line 27, characters 6-11:
Warning: Reference depr1 is deprecated. deprecable
[deprecated-reference,deprecated,default]
depr1
: True
File "./output/deprecation_definition.v", line 28, characters 6-11:
Warning: Reference depr2 is deprecated. deprecable
[deprecated-reference,deprecated,default]
depr2
: True
File "./output/deprecation_definition.v", line 29, characters 6-11:
Warning: Reference depr3 is deprecated. deprecable
[deprecated-reference,deprecated,default]
depr3
: True
File "./output/deprecation_definition.v", line 30, characters 6-11:
Warning: Reference depr4 is deprecated. deprecable
[deprecated-reference,deprecated,default]
depr4
: Prop
File "./output/deprecation_definition.v", line 31, characters 6-11:
Warning: Reference depr5 is deprecated. deprecable
[deprecated-reference,deprecated,default]
depr5
: Prop
File "./output/deprecation_definition.v", line 32, characters 6-11:
Warning: Reference depr6 is deprecated. deprecable
[deprecated-reference,deprecated,default]
depr6
: nat -> nat
File "./output/deprecation_definition.v", line 38, characters 6-11:
Warning: Reference depr7 is deprecated. deprecable
[deprecated-reference,deprecated,default]
File "./output/deprecation_definition.v", line 38, characters 6-11:
Warning: be careful
[warn-reference-be-careful-careful,careful,be-careful,warn-reference,user-warn,default]
File "./output/deprecation_definition.v", line 38, characters 6-11:
Warning: also about bla
[warn-reference-careful-careful-bla,careful-bla,careful,warn-reference,user-warn,default]
depr7
: Prop
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-04]
