detect cycle in flow of types through applications

Zilliqa / scilla-compiler

Compile Scilla to LLVM-IR

GNU General Public License v3.0

7 stars 4 forks source link

Closed vaivaswatha closed 4 years ago

vaivaswatha commented 4 years ago

Fixes infinite recursion in compiling tests/codegen/expr/church_nat_exp.scilexp