summaryrefslogtreecommitdiff
path: root/tests/polyjsFfi.urs
Commit message (Expand)AuthorAge
* Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a k...Gravatar Adam Chlipala2012-12-11