Reject programs that bind the same variable multiple times in one block

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris

0 stars 0 forks source link

Reject programs that bind the same variable multiple times in one block #96

Open jeapostrophe opened 5 years ago

jeapostrophe commented 5 years ago

Maybe also reject programs that use the same variable in two places within one function (because even though the AST has nesting, it doesn't look like nesting in the input.)

Follow the rules of Racket/Haskell in define/where blocks