search

UCSD-PL / refscript

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

Pattern match error #62

Closed ranjitjhala closed 10 years ago

ranjitjhala commented 10 years ago

Why is rsc throwing a "pattern match error" on

https://github.com/UCSD-PL/RefScript/blob/master/tests/pos/fb/min-index-02.ts

I'm guessing it has to do with a missing type-annotation but a random pattern match error is not very helpful ...