search

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language
https://scilla-lang.org
GNU General Public License v3.0
240 stars 79 forks source link

False positives for unused nested library ADTs, a follow-up #1107

Closed anton-trunov closed 2 years ago

anton-trunov commented 2 years ago

A follow-up on #1104: it's exactly the same bug, except the name of data constructor of A is different from the type name.

scilla_version 0

library Dead

type A = | A1
type B = | B of A

contract Dead ()

transition Foo(x: B)
end

The warning:

warning: [3] Unused ADT constructor: A1