search

Idorobots / spartan

A small Lisp dialect that serves me as a test bed for programming language features.
MIT License
13 stars 3 forks source link

Validate letrec bindings #112

Closed Idorobots closed 3 years ago

Idorobots commented 3 years ago

Currently it's possible to bind eagerly recursive values in a letrec. That should be disallowed by validation.

Idorobots commented 3 years ago

Also disallow using a reserved language keyword as a binding variable.