Rconc/Fixpoint broke some tests

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

Rconc/Fixpoint broke some tests #129

Closed ranjitjhala closed 9 years ago

ranjitjhala commented 9 years ago

See:

tests/pos/misc/opt-arg-01.ts

@panagosg7 can you take a look? I don't know why this broke (I think it was working before), and it should be possible to narrow down the error with git-bisecting...

panagosg7 commented 9 years ago

Addressed by #131