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 /tests | |
| 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 'tests')
| -rw-r--r-- | tests/polyjs.ur | 5 | ||||
| -rw-r--r-- | tests/polyjs.urp | 5 | ||||
| -rw-r--r-- | tests/polyjsFfi.urs | 2 |
3 files changed, 12 insertions, 0 deletions
diff --git a/tests/polyjs.ur b/tests/polyjs.ur new file mode 100644 index 00000000..fe10080b --- /dev/null +++ b/tests/polyjs.ur @@ -0,0 +1,5 @@ +open PolyjsFfi + +fun main () : transaction page = return <xml><body> + <button onclick={fn _ => alert (one "hi" ^ two "bye")}/> +</body></xml> 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 diff --git a/tests/polyjsFfi.urs b/tests/polyjsFfi.urs new file mode 100644 index 00000000..a2be8909 --- /dev/null +++ b/tests/polyjsFfi.urs @@ -0,0 +1,2 @@ +val one : a ::: Type -> a -> a +val two : a ::: Type -> b ::: Type -> a -> b |