Zilliqa / scilla

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

Expression tests should print type arguments of ADT values #1167

Open anton-trunov opened 2 years ago

anton-trunov commented 2 years ago

This would prevent a bug fixed in #1166