New features - Githubissues

UCSD-PL / refscript

Refinement Types for Scripting Languages

BSD 3-Clause "New" or "Revised" License

65 stars 3 forks source link

New features #3

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Adding support for:

new externs: NaN, Infinity
conditional expressions
anonymous functions

Moving benchmarks to https://github.com/UCSD-PL/rs-benchmarks

IMPORTANT: all externs are added in/bloating the environment - perhaps we need to see which ones are needed.

ranjitjhala commented 10 years ago

Great, thanks! Should be easy (?) to scan the AST of the code to be checked to find free-variables/names and just filter out externs to those?

panagosg7 commented 10 years ago

Identifiers mentioned in the source code are added anyway. The issue is with identifiers mentioned in refinements (perhaps transitively through the environment bindings).