search

UCSD-PL / refscript

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

Alias + this #104

Closed BenjaminCosman closed 8 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/alias.ts

Easy workaround is to avoid using type aliases in such situations.

panagosg7 commented 8 years ago

Working in this commit:

https://github.com/UCSD-PL/refscript/blob/48c5eef56a1aaba6efda0b1a585e46f9123109fc/tests/pos/typealias/talias-09.ts