diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-12-11 15:58:23 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-12-11 15:58:23 -0500 |
| commit | 87d2e717c0d164759fce1df7d89f25fda8434586 (patch) | |
| tree | a3420f76f92ec80cb6ca0d78438ea7ec9cfae0df /Makefile.am | |
| parent | eab77d1d8c4c6bdc3b7857713c8bc1e5947f58d0 (diff) | |
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions