Fix REPL auto-complete words after erasure of binds

hexresearch / hschain-utxo

UTXO-based contracts for hschain

0 stars 0 forks source link

Fix REPL auto-complete words after erasure of binds #234

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

Fixes auto-complete words for REPL. When binded name is erased allnames that depend on it re erased too and we need to account for it in auto-complete.

Same is for names in type declarations.