firefly-compiler 0.4.79 → 0.4.81

package/core/Float.ff

@@ -158,6 +158,21 @@ extend self: Float {
             return Math.tanh(self_);
         """
         
+    isFinite(): Bool
+        target js sync """
+            return Number.isFinite(self_);
+        """
+        
+    isNan(): Bool
+        target js sync """
+            return Number.isNaN(self_);
+        """
+
+    isSafeInteger(): Bool
+        target js sync """
+            return Number.isSafeInteger(self_);
+        """
+
 }
 
 hypot(values: List[Float]): Float
@@ -204,3 +219,13 @@ sqrt2(): Float
     target js sync """
         return Math.SQRT2;
     """
+
+nan(): Float
+    target js sync """
+        return NaN;
+    """
+
+infinity(): Float
+    target js sync """
+        return Infinity;
+    """

package/core/HttpClient.ff

@@ -1,148 +1,148 @@
-capability HttpClient {}
-capability FetchBody {}
-capability FetchResponse {}
-data FetchRedirect {
-    RedirectFollow
-    RedirectError
-    RedirectManual
-}
-data FetchOptions(
-    redirect: FetchRedirect = RedirectFollow
-    referrer: Option[String] = None
-    integrity: Option[String] = None
-    mode: Option[String] = None
-    credentials: Option[String] = None
-    cache: Option[String] = None
-)
-
-extend self: HttpClient {
-    
-    get[T](
-        url: String
-        headers: List[Pair[String, String]]
-        body: FetchResponse => T
-    ): T {
-        self.fetch("GET", url, headers, None, FetchOptions(), body)
-    }
-    
-    post[T](
-        url: String
-        headers: List[Pair[String, String]]
-        payload: Buffer
-        body: FetchResponse => T
-    ): T {
-        self.fetch("POST", url, headers, Some(payload), FetchOptions(), body)
-    }
-    
-    put[T](
-        url: String
-        headers: List[Pair[String, String]]
-        payload: Buffer
-        body: FetchResponse => T
-    ): T {
-        self.fetch("PUT", url, headers, Some(payload), FetchOptions(), body)
-    }
-    
-    delete[T](
-        url: String
-        headers: List[Pair[String, String]]
-        body: FetchResponse => T
-    ): T {
-        self.fetch("DELETE", url, headers, None, FetchOptions(), body)
-    }
-
-    fetch[T](
-        method: String
-        url: String
-        headers: List[Pair[String, String]] = []
-        payload: Option[Buffer] = None
-        options: FetchOptions = FetchOptions()
-        body: FetchResponse => T
-    ): T
-        target js async """
-            const fetchResponse = {response: null, statusChecked: false};
-            try {
-                const options = {headers: {}, signal: $task.controller.signal};
-                options.method = method_;
-                headers_.forEach(pair => {options.headers[pair.first_] = pair.second_});
-                if(payload_.value_) options.body = payload_.value_;
-                if(options_.redirect_.RedirectError) options.redirect = "error";
-                else if(options_.redirect_.RedirectManual) options.redirect = "manual";
-                if(options_.referrer_.value_) options.referrer = options_.referrer_.value_;
-                if(options_.integrity_.value_) options.integrity = options_.integrity_.value_;
-                if(options_.mode_.value_) options.mode = options_.mode_.value_;
-                if(options_.credentials_.value_) options.credentials = options_.credentials_.value_;
-                if(options_.cache_.value_) options.cache = options_.cache_.value_;
-                fetchResponse.response = await self_.fetch(url_, options);
-                const result = await body_(fetchResponse, $task);
-                internalCheck_(fetchResponse);
-                return result;
-            } finally {
-                fetchResponse.response = null;
-                if($task.controller.signal.aborted) $task.controller = new AbortController()
-            }
-        """
-
-}
-
-extend self: FetchResponse {
-
-    ok(): Bool
-        target js async """
-            self_.statusChecked = true;
-            internalCheck_(self_);
-            return self_.response.ok;
-        """
-
-    status(): Int
-        target js async """
-            self_.statusChecked = true;
-            internalCheck_(self_);
-            return self_.response.status;
-        """
-
-    statusText(): String
-        target js async """
-            self_.statusChecked = true;
-            internalCheck_(self_);
-            return self_.response.statusText;
-        """
-
-    header(name: String): Option[String]
-        target js async """
-            internalCheck_(self_);
-            const header = self_.response.headers.get(name_);
-            return header != null
-                ? ff_core_Option.Some(header)
-                : ff_core_Option.None();
-        """
-
-    readText(): String
-        target js async """
-            internalCheck_(self_);
-            return await self_.response.text();
-        """
-
-    readJson(): Json
-        target js async """
-            internalCheck_(self_);
-            return await self_.response.json();
-        """
-
-    readBuffer(): Buffer
-        target js async """
-            internalCheck_(self_);
-            return new DataView(await self_.response.arrayBuffer());
-        """
-
-}
-
-internalCheck(fetchResponse: FetchResponse)
-    target js sync """
-        if(fetchResponse_.response === null) {
-            throw new Error("Response closed");
-        }
-        if(!fetchResponse_.statusChecked && !fetchResponse_.response.ok) {
-            throw new Error("Unchecked HTTP status code: " + fetchResponse_.response.status);
-        }
-    """
+capability HttpClient {}
+capability FetchBody {}
+capability FetchResponse {}
+data FetchRedirect {
+    RedirectFollow
+    RedirectError
+    RedirectManual
+}
+data FetchOptions(
+    redirect: FetchRedirect = RedirectFollow
+    referrer: Option[String] = None
+    integrity: Option[String] = None
+    mode: Option[String] = None
+    credentials: Option[String] = None
+    cache: Option[String] = None
+)
+
+extend self: HttpClient {
+    
+    get[T](
+        url: String
+        headers: List[Pair[String, String]]
+        body: FetchResponse => T
+    ): T {
+        self.fetch("GET", url, headers, None, FetchOptions(), body)
+    }
+    
+    post[T](
+        url: String
+        headers: List[Pair[String, String]]
+        payload: Buffer
+        body: FetchResponse => T
+    ): T {
+        self.fetch("POST", url, headers, Some(payload), FetchOptions(), body)
+    }
+    
+    put[T](
+        url: String
+        headers: List[Pair[String, String]]
+        payload: Buffer
+        body: FetchResponse => T
+    ): T {
+        self.fetch("PUT", url, headers, Some(payload), FetchOptions(), body)
+    }
+    
+    delete[T](
+        url: String
+        headers: List[Pair[String, String]]
+        body: FetchResponse => T
+    ): T {
+        self.fetch("DELETE", url, headers, None, FetchOptions(), body)
+    }
+
+    fetch[T](
+        method: String
+        url: String
+        headers: List[Pair[String, String]] = []
+        payload: Option[Buffer] = None
+        options: FetchOptions = FetchOptions()
+        body: FetchResponse => T
+    ): T
+        target js async """
+            const fetchResponse = {response: null, statusChecked: false};
+            try {
+                const options = {headers: {}, signal: $task.controller.signal};
+                options.method = method_;
+                headers_.forEach(pair => {options.headers[pair.first_] = pair.second_});
+                if(payload_.value_) options.body = payload_.value_;
+                if(options_.redirect_.RedirectError) options.redirect = "error";
+                else if(options_.redirect_.RedirectManual) options.redirect = "manual";
+                if(options_.referrer_.value_) options.referrer = options_.referrer_.value_;
+                if(options_.integrity_.value_) options.integrity = options_.integrity_.value_;
+                if(options_.mode_.value_) options.mode = options_.mode_.value_;
+                if(options_.credentials_.value_) options.credentials = options_.credentials_.value_;
+                if(options_.cache_.value_) options.cache = options_.cache_.value_;
+                fetchResponse.response = await self_.fetch(url_, options);
+                const result = await body_(fetchResponse, $task);
+                internalCheck_(fetchResponse);
+                return result;
+            } finally {
+                fetchResponse.response = null;
+                if($task.controller.signal.aborted) $task.controller = new AbortController()
+            }
+        """
+
+}
+
+extend self: FetchResponse {
+
+    ok(): Bool
+        target js async """
+            self_.statusChecked = true;
+            internalCheck_(self_);
+            return self_.response.ok;
+        """
+
+    status(): Int
+        target js async """
+            self_.statusChecked = true;
+            internalCheck_(self_);
+            return self_.response.status;
+        """
+
+    statusText(): String
+        target js async """
+            self_.statusChecked = true;
+            internalCheck_(self_);
+            return self_.response.statusText;
+        """
+
+    header(name: String): Option[String]
+        target js async """
+            internalCheck_(self_);
+            const header = self_.response.headers.get(name_);
+            return header != null
+                ? ff_core_Option.Some(header)
+                : ff_core_Option.None();
+        """
+
+    readText(): String
+        target js async """
+            internalCheck_(self_);
+            return await self_.response.text();
+        """
+
+    readJson(): Json
+        target js async """
+            internalCheck_(self_);
+            return await self_.response.json();
+        """
+
+    readBuffer(): Buffer
+        target js async """
+            internalCheck_(self_);
+            return new DataView(await self_.response.arrayBuffer());
+        """
+
+}
+
+internalCheck(fetchResponse: FetchResponse)
+    target js sync """
+        if(fetchResponse_.response === null) {
+            throw new Error("Response closed");
+        }
+        if(!fetchResponse_.statusChecked && !fetchResponse_.response.ok) {
+            throw new Error("Unchecked HTTP status code: " + fetchResponse_.response.status);
+        }
+    """

package/core/JsSystem.ff

@@ -1,69 +1,69 @@
-class JsSystem {} // TODO: It has to be async if the async ffi is to be called - solve in the compiler?
-
-extend self: JsSystem {
-
-    global(): JsValue
-        target js sync "return self_"
-
-    parseJson(json: String): JsValue
-        target js sync "return JSON.parse(json_)"
-
-    null(): JsValue
-        target js sync "return null"
-
-    undefined(): JsValue
-        target js sync "return void 0"
-
-    value[T: IsJsValue](jsValue: T): JsValue
-        target js sync "return jsValue_"
-
-    object(): JsValue
-        target js sync "return {}"
-
-    array(values: List[JsValue]): JsValue
-        target js sync "return values_.slice()"
-        
-    json(value: Json): JsValue
-        target js sync "return value_"
-
-    function0[R](body: () => R): JsValue
-        target js sync "return body_"
-        target js async "return () => body_($task)"
-
-    function1[R](body: JsValue => R): JsValue
-        target js sync "return body_"
-        target js async "return a1 => body_(a1, $task)"
-
-    function2[R](body: (JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2) => body_(a1, a2, $task)"
-
-    function3[R](body: (JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3) => body_(a1, a2, a3, $task)"
-
-    function4[R](body: (JsValue, JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3, a4) => body_(a1, a2, a3, a4, $task)"
-
-    function5[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3, a4, a5) => body_(a1, a2, a3, a4, a5, $task)"
-
-    function6[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3, a4, a5, a6) => body_(a1, a2, a3, a4, a5, a6, $task)"
-
-    function7[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3, a4, a5, a6, a7) => body_(a1, a2, a3, a4, a5, a6, a7, $task)"
-
-    function8[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3, a4, a5, a6, a7, a8) => body_(a1, a2, a3, a4, a5, a6, a7, a8, $task)"
-
-    function9[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
-        target js sync "return body_"
-        target js async "return (a1, a2, a3, a4, a5, a6, a7, a8, a9) => body_(a1, a2, a3, a4, a5, a6, a7, a8, a9, $task)"
-
-}
+class JsSystem {} // TODO: It has to be async if the async ffi is to be called - solve in the compiler?
+
+extend self: JsSystem {
+
+    global(): JsValue
+        target js sync "return self_"
+
+    parseJson(json: String): JsValue
+        target js sync "return JSON.parse(json_)"
+
+    null(): JsValue
+        target js sync "return null"
+
+    undefined(): JsValue
+        target js sync "return void 0"
+
+    value[T: IsJsValue](jsValue: T): JsValue
+        target js sync "return jsValue_"
+
+    object(): JsValue
+        target js sync "return {}"
+
+    array(values: List[JsValue]): JsValue
+        target js sync "return values_.slice()"
+        
+    json(value: Json): JsValue
+        target js sync "return value_"
+
+    function0[R](body: () => R): JsValue
+        target js sync "return body_"
+        target js async "return () => body_($task)"
+
+    function1[R](body: JsValue => R): JsValue
+        target js sync "return body_"
+        target js async "return a1 => body_(a1, $task)"
+
+    function2[R](body: (JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2) => body_(a1, a2, $task)"
+
+    function3[R](body: (JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3) => body_(a1, a2, a3, $task)"
+
+    function4[R](body: (JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4) => body_(a1, a2, a3, a4, $task)"
+
+    function5[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5) => body_(a1, a2, a3, a4, a5, $task)"
+
+    function6[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6) => body_(a1, a2, a3, a4, a5, a6, $task)"
+
+    function7[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6, a7) => body_(a1, a2, a3, a4, a5, a6, a7, $task)"
+
+    function8[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6, a7, a8) => body_(a1, a2, a3, a4, a5, a6, a7, a8, $task)"
+
+    function9[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6, a7, a8, a9) => body_(a1, a2, a3, a4, a5, a6, a7, a8, a9, $task)"
+
+}