summaryrefslogtreecommitdiff
path: root/tests/polyjs.ur
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)