search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

External nodes for var with multiple occurrences #9

Closed colin-mcd closed 3 years ago

colin-mcd commented 3 years ago

When compiling to FGG, what should the set of external nodes be for the rule and b b (where b is a local boolean)? Should it be {b}, or {b, b}?

ccshan commented 3 years ago

The top-level important thing is for \ b. and b b to compile. To achieve that, it seems to me that answering your question with either {b} or {b,b} would work, but {b} might be simpler.

davidweichiang commented 3 years ago

I'd make it just {b}.

Sorry for the delay in replying; somehow I didn't have notifications on for this repo.