ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Fix gc for effectful lets #100

Closed yiming-fang closed 2 years ago

yiming-fang commented 2 years ago

Stop the GC from trying to dup/drop effectful expressions, creating many extra dup( unit ) or drop( unit ). For example, nothing should be dupped/dropped from wait led or after 10 , led <- 10.