scilla_version 0
library Dead
type A = | A
type B = | B of A
contract Dead ()
transition Foo(x: B)
end
reports
warning: [3] Unused library ADT: A
This is a false positive: B is used since it's the type of a transition parameter and hence A is used because a value of type A is nested in a value of type B.
The dead code detector for following contract
reports
This is a false positive:
Bis used since it's the type of a transition parameter and henceAis used because a value of typeAis nested in a value of typeB.