search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

Remove constant environment from Imp #120

Closed mandel closed 5 years ago

mandel commented 5 years ago

The constants are given by the argument of the query as a record named constants. The access to a constant x is then constants.x.

To simplify the code, Imp functions now only take one argument.