summaryrefslogtreecommitdiff
path: root/tests/polyjsFfi.urs
Commit message (Collapse)AuthorAge
* Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a ↵Gravatar Adam Chlipala2012-12-11
kind of simple dynamic typing (unsafe, of course)