@magnusopera/fscript 0.75.0

package/dist/FScript.Language/BuiltinSignatures.js

@@ -0,0 +1,24 @@
+
+import { keys, ofList } from "../fable_modules/fable-library-js.5.2.0/Map.js";
+import { ofArray, empty, singleton } from "../fable_modules/fable-library-js.5.2.0/List.js";
+import { Scheme, Type } from "./Types.js";
+import { comparePrimitives } from "../fable_modules/fable-library-js.5.2.0/Util.js";
+import { ofSeq } from "../fable_modules/fable-library-js.5.2.0/Set.js";
+import { filter } from "../fable_modules/fable-library-js.5.2.0/Seq.js";
+import { startsWith } from "../fable_modules/fable-library-js.5.2.0/String.js";
+
+export const builtinSchemes = ofList(ofArray([["ignore", new Scheme(singleton(0), new Type(11, [new Type(15, [0]), new Type(0, [])]))], ["Int.tryParse", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(10, [new Type(1, [])])]))], ["Float.tryParse", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(10, [new Type(2, [])])]))], ["Bool.tryParse", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(10, [new Type(3, [])])]))], ["Int.toString", new Scheme(empty(), new Type(11, [new Type(1, []), new Type(4, [])]))], ["Float.toString", new Scheme(empty(), new Type(11, [new Type(2, []), new Type(4, [])]))], ["Bool.toString", new Scheme(empty(), new Type(11, [new Type(3, []), new Type(4, [])]))], ["String.replace", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(11, [new Type(4, []), new Type(11, [new Type(4, []), new Type(4, [])])])]))], ["String.indexOf", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(11, [new Type(4, []), new Type(10, [new Type(1, [])])])]))], ["String.toLower", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(4, [])]))], ["String.toUpper", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(4, [])]))], ["String.substring", new Scheme(empty(), new Type(11, [new Type(1, []), new Type(11, [new Type(1, []), new Type(11, [new Type(4, []), new Type(10, [new Type(4, [])])])])]))], ["String.concat", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(11, [new Type(5, [new Type(4, [])]), new Type(4, [])])]))], ["String.split", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(11, [new Type(4, []), new Type(5, [new Type(4, [])])])]))], ["String.endsWith", new Scheme(empty(), new Type(11, [new Type(4, []), new Type(11, [new Type(4, []), new Type(3, [])])]))], ["List.empty", new Scheme(singleton(0), new Type(5, [new Type(15, [0])]))], ["List.map", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [0]), new Type(15, [1])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [1])])])]))], ["List.iter", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(15, [0]), new Type(0, [])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(0, [])])]))], ["List.choose", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [0]), new Type(10, [new Type(15, [1])])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [1])])])]))], ["List.collect", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [0]), new Type(5, [new Type(15, [1])])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [1])])])]))], ["List.exists", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(15, [0]), new Type(3, [])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(3, [])])]))], ["List.contains", new Scheme(singleton(0), new Type(11, [new Type(15, [0]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(3, [])])]))], ["List.rev", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [0])])]))], ["List.distinct", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [0])])]))], ["List.fold", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [1]), new Type(11, [new Type(15, [0]), new Type(15, [1])])]), new Type(11, [new Type(15, [1]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(15, [1])])])]))], ["List.filter", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(15, [0]), new Type(3, [])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [0])])])]))], ["List.length", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(1, [])]))], ["List.tryFind", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(15, [0]), new Type(3, [])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(10, [new Type(15, [0])])])]))], ["List.tryGet", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(15, [0]), new Type(3, [])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(10, [new Type(1, [])])])]))], ["List.tryItem", new Scheme(singleton(0), new Type(11, [new Type(1, []), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(10, [new Type(15, [0])])])]))], ["List.tryHead", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(10, [new Type(15, [0])])]))], ["List.tail", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [0])])]))], ["List.append", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(11, [new Type(5, [new Type(15, [0])]), new Type(5, [new Type(15, [0])])])]))], ["Option.defaultValue", new Scheme(singleton(0), new Type(11, [new Type(15, [0]), new Type(11, [new Type(10, [new Type(15, [0])]), new Type(15, [0])])]))], ["Option.defaultWith", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(0, []), new Type(15, [0])]), new Type(11, [new Type(10, [new Type(15, [0])]), new Type(15, [0])])]))], ["Option.isNone", new Scheme(singleton(0), new Type(11, [new Type(10, [new Type(15, [0])]), new Type(3, [])]))], ["Option.isSome", new Scheme(singleton(0), new Type(11, [new Type(10, [new Type(15, [0])]), new Type(3, [])]))], ["Option.map", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [0]), new Type(15, [1])]), new Type(11, [new Type(10, [new Type(15, [0])]), new Type(10, [new Type(15, [1])])])]))], ["Map.empty", new Scheme(singleton(0), new Type(9, [new Type(4, []), new Type(15, [0])]))], ["Map.tryGet", new Scheme(singleton(0), new Type(11, [new Type(4, []), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(10, [new Type(15, [0])])])]))], ["Map.containsKey", new Scheme(singleton(0), new Type(11, [new Type(4, []), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(3, [])])]))], ["Map.add", new Scheme(singleton(0), new Type(11, [new Type(4, []), new Type(11, [new Type(15, [0]), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(9, [new Type(4, []), new Type(15, [0])])])])]))], ["Map.ofList", new Scheme(singleton(0), new Type(11, [new Type(5, [new Type(7, [ofArray([new Type(4, []), new Type(15, [0])])])]), new Type(9, [new Type(4, []), new Type(15, [0])])]))], ["Map.fold", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [1]), new Type(11, [new Type(4, []), new Type(11, [new Type(15, [0]), new Type(15, [1])])])]), new Type(11, [new Type(15, [1]), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(15, [1])])])]))], ["Map.count", new Scheme(singleton(0), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(1, [])]))], ["Map.filter", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(4, []), new Type(11, [new Type(15, [0]), new Type(3, [])])]), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(9, [new Type(4, []), new Type(15, [0])])])]))], ["Map.choose", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(4, []), new Type(11, [new Type(15, [0]), new Type(10, [new Type(15, [1])])])]), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(9, [new Type(4, []), new Type(15, [1])])])]))], ["Map.map", new Scheme(ofArray([0, 1]), new Type(11, [new Type(11, [new Type(15, [0]), new Type(15, [1])]), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(9, [new Type(4, []), new Type(15, [1])])])]))], ["Map.iter", new Scheme(singleton(0), new Type(11, [new Type(11, [new Type(4, []), new Type(11, [new Type(15, [0]), new Type(0, [])])]), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(0, [])])]))], ["Map.remove", new Scheme(singleton(0), new Type(11, [new Type(4, []), new Type(11, [new Type(9, [new Type(4, []), new Type(15, [0])]), new Type(9, [new Type(4, []), new Type(15, [0])])])]))]]), {
+    Compare: (x, y) => (comparePrimitives(x, y) | 0),
+});
+
+export const builtinReservedNames = ofSeq(filter((name) => {
+    if (startsWith(name, "List.", 4) ? true : startsWith(name, "Option.", 4)) {
+        return true;
+    }
+    else {
+        return startsWith(name, "Map.", 4);
+    }
+}, keys(builtinSchemes)), {
+    Compare: (x, y) => (comparePrimitives(x, y) | 0),
+});
+

package/dist/FScript.Language/BuiltinTypes.js

@@ -0,0 +1,13 @@
+
+import { Span, Position } from "./Span.js";
+import { TypeDef, TypeRef } from "./Ast.js";
+import { empty, ofArray } from "../fable_modules/fable-library-js.5.2.0/List.js";
+
+const unknownSpan = new Span(new Position(undefined, 0, 0), new Position(undefined, 0, 0));
+
+export const environmentType = new TypeDef("Environment", false, ofArray([["ScriptName", new TypeRef(3, [new TypeRef(0, ["string"]), "option"])], ["Arguments", new TypeRef(3, [new TypeRef(0, ["string"]), "list"])]]), empty(), unknownSpan);
+
+export const fsKindType = new TypeDef("FsKind", false, empty(), ofArray([["File", new TypeRef(0, ["string"])], ["Directory", new TypeRef(0, ["string"])], ["Missing", undefined]]), unknownSpan);
+
+export const typeDefs = ofArray([environmentType, fsKindType]);
+

package/dist/FScript.Language/Error.js

@@ -0,0 +1,74 @@
+
+import { FSharpException, Record } from "../fable_modules/fable-library-js.5.2.0/Types.js";
+import { class_type, record_type, string_type } from "../fable_modules/fable-library-js.5.2.0/Reflection.js";
+import { Span_$reflection } from "./Span.js";
+
+export class ParseError extends Record {
+    constructor(Message, Span) {
+        super();
+        this.Message = Message;
+        this.Span = Span;
+    }
+}
+
+export function ParseError_$reflection() {
+    return record_type("FScript.Language.ParseError", [], ParseError, () => [["Message", string_type], ["Span", Span_$reflection()]]);
+}
+
+export class TypeError$ extends Record {
+    constructor(Message, Span) {
+        super();
+        this.Message = Message;
+        this.Span = Span;
+    }
+}
+
+export function TypeError$_$reflection() {
+    return record_type("FScript.Language.TypeError", [], TypeError$, () => [["Message", string_type], ["Span", Span_$reflection()]]);
+}
+
+export class EvalError$ extends Record {
+    constructor(Message, Span) {
+        super();
+        this.Message = Message;
+        this.Span = Span;
+    }
+}
+
+export function EvalError$_$reflection() {
+    return record_type("FScript.Language.EvalError", [], EvalError$, () => [["Message", string_type], ["Span", Span_$reflection()]]);
+}
+
+export class ParseException extends FSharpException {
+    constructor(Data0) {
+        super();
+        this.Data0 = Data0;
+    }
+}
+
+export function ParseException_$reflection() {
+    return class_type("FScript.Language.ParseException", undefined, ParseException, class_type("System.Exception"));
+}
+
+export class TypeException extends FSharpException {
+    constructor(Data0) {
+        super();
+        this.Data0 = Data0;
+    }
+}
+
+export function TypeException_$reflection() {
+    return class_type("FScript.Language.TypeException", undefined, TypeException, class_type("System.Exception"));
+}
+
+export class EvalException extends FSharpException {
+    constructor(Data0) {
+        super();
+        this.Data0 = Data0;
+    }
+}
+
+export function EvalException_$reflection() {
+    return class_type("FScript.Language.EvalException", undefined, EvalException, class_type("System.Exception"));
+}
+