search

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Support for Scheme vector literals #19

Open noahvanes opened 3 years ago

noahvanes commented 3 years ago

Vector literals in Scheme (e.g., #(1 2 3)) are currently not supported.

In order to do so, the SExpParser will first need to be extended to support this notation. Then, adding the corresponding evaluation rules in the concrete and abstract interpreters should be trivial.

bramvdbogaerde commented 2 years ago

The S-expression parser has been extended in 3d393209b0791a6add180d5622d92d80abe59e68, vector literals are now parsed into SExpVector instances. The corresponding evaluation rules still need to be implemented in the concrete and abstract interpreters.