From eca4412d3a0bf6bb59ad95ec2c0f35122cdbfc6e Mon Sep 17 00:00:00 2001
From: Loic Denuziere <loic.denuziere@intellifactory.com>
Date: Mon, 7 Dec 2015 16:39:57 +0100
Subject: [PATCH] Fix #508: JSON.Stringify replacer argument type

---
 src/stdlib/WebSharper.JavaScript/Ecma.fs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/stdlib/WebSharper.JavaScript/Ecma.fs b/src/stdlib/WebSharper.JavaScript/Ecma.fs
index 936627108..ba9fbffa5 100644
--- a/src/stdlib/WebSharper.JavaScript/Ecma.fs
+++ b/src/stdlib/WebSharper.JavaScript/Ecma.fs
@@ -342,7 +342,11 @@ module Definition =
         |+> Static
             [
                 "parse" => T<string> * !?T<obj->obj->bool>?reviver ^-> T<obj>
-                "stringify" => T<obj>?value * !?(T<obj->obj> + (Type.ArrayOf T<obj>))?replacer * !?(T<string> + T<int>)?space ^-> T<string>
+                "stringify" => T<obj>?value * (T<string>*T<obj>^->T<obj>)?replacer ^-> T<string>
+                |> WithInteropInline (fun p -> sprintf "JSON.stringify(%s,%s)" (p"value") (p"replacer"))
+                "stringify" => T<obj>?value * (T<string>*T<obj>^->T<obj>)?replacer * (T<string> + T<int>)?space ^-> T<string>
+                |> WithInteropInline (fun p -> sprintf "JSON.stringify(%s,%s,%s)" (p"value") (p"replacer") (p "space"))
+                "stringify" => T<obj>?value * !?(Type.ArrayOf T<obj>)?replacer * !?(T<string> + T<int>)?space ^-> T<string>
             ]
 
     let Namespaces =