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 arguments named "func" or "obj" #51

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 10 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/func-arg/tests/pos/misc/func-arg.ts

(can also rename arguments as a workaround)

BenjaminCosman commented 10 years ago

"obj" has the same issue as "func"

panagosg7 commented 9 years ago

This is reported as error as of: https://github.com/UCSD-PL/RefScript/commit/ada9793245dfb45cb6d3e21af1d0bc05443c9267

closing