search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

Add support for bitwise operators #22

Closed ranjitjhala closed 10 years ago

ranjitjhala commented 10 years ago

@panagosg7 can you tweak the ts-rs translator to handle

https://github.com/UCSD-PL/RefScript/blob/bitwise/tests/pos/misc/bitwise-00.ts

thanks!

ranjitjhala commented 10 years ago

Solved by

https://github.com/UCSD-PL/RefScript/pull/25