Quelle  deprecation_definition.out   Sprache: unbekannt

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