biscuit-haskell icon indicating copy to clipboard operation
biscuit-haskell copied to clipboard
verified publisher icon biscuit-auth

Forbid unbound variables during deserialization & datalog parsing

Open divarvel opened this issue 3 years ago • 0 comments

It is possible to statically determine which variables are bound, and which are free. Since scopes can't be nested, free variables cannot exist. This PR detects such cases during token deserialization and datalog parsing.

divarvel avatar Nov 27 '22 13:11 divarvel