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 | 92b7e9f1eda84b05bc50f3052913d33b20e067b7 (patch) | |
tree | a3420f76f92ec80cb6ca0d78438ea7ec9cfae0df /tests/polyjs.urp | |
parent | 7ee7be7c9fcb86e63aadb8f3a21439961f17b63d (diff) |
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)
Diffstat (limited to 'tests/polyjs.urp')
-rw-r--r-- | tests/polyjs.urp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/polyjs.urp b/tests/polyjs.urp new file mode 100644 index 00000000..489bd68b --- /dev/null +++ b/tests/polyjs.urp @@ -0,0 +1,5 @@ +ffi polyjsFfi +jsFunc PolyjsFfi.one=one +jsFunc PolyjsFfi.two=two + +polyjs |