yukigo-haskell-parser 0.1.0 → 0.1.1

package/.mocharc.json

@@ -1,4 +1,4 @@
-{
-  "extension": ["ts"],
-  "spec": "tests/**/*.spec.ts"
+{
+  "extension": ["ts"],
+  "spec": "tests/**/*.spec.ts"
 }

package/README.md

@@ -1,10 +1,10 @@
-# Yukigo Haskell Parser
-
-Parser for a subset of Haskell written in Typescript using [nearley.js](https://nearley.js.org/) and [moo](https://github.com/no-context/moo).
-
-Parses a valid [yukigo](https://github.com/noiseArch/yukigo) AST.
-
-## List of missing features
-- [Standard library](http://www.zvon.org/other/haskell/Outputprelude/functionIndex.html)
-- [Type classes](http://www.zvon.org/other/haskell/Outputprelude/classIndex.html)
-- ...
+# Yukigo Haskell Parser
+
+Parser for a subset of Haskell written in Typescript using [nearley.js](https://nearley.js.org/) and [moo](https://github.com/no-context/moo).
+
+Parses a valid [yukigo](https://github.com/noiseArch/yukigo) AST.
+
+## List of missing features
+- [Standard library](http://www.zvon.org/other/haskell/Outputprelude/functionIndex.html)
+- [Type classes](http://www.zvon.org/other/haskell/Outputprelude/classIndex.html)
+- ...

package/dist/index.d.ts

@@ -1,7 +1,18 @@
-import { AST, YukigoParser } from "@yukigo/ast";
+import { AST, Expression, YukigoParser } from "yukigo-ast";
+export type HaskellConfig = {
+    typecheck: boolean;
+    includePrims: boolean;
+};
 export declare class YukigoHaskellParser implements YukigoParser {
     errors: string[];
     private prelude;
-    constructor(prelude?: string);
+    private config;
+    private checker?;
+    constructor(prelude?: string, config?: HaskellConfig);
+    private preprocessor;
     parse(code: string): AST;
+    parseExpression(code: string): Expression;
+    private feedParser;
+    typeOfExpression(code: string): string;
+    getKnownSymbols(): string[];
 }

package/dist/index.js

@@ -2,53 +2,133 @@ import grammar from "./parser/grammar.js";
 import nearley from "nearley";
 import { groupFunctionDeclarations } from "./utils/helpers.js";
 import { TypeChecker } from "./typechecker/checker.js";
-import { preprocessor } from "./parser/layoutPreprocessor.js";
+import { ArithmeticUnaryOperation, Equation, Function, Instance, ListType, Return, Sequence, SimpleType, StringOperation, StringPrimitive, SymbolPrimitive, TypePattern, UnguardedBody, VariablePattern, } from "yukigo-ast";
 import { preludeCode } from "./prelude.js";
+import { typeMappings } from "./utils/types.js";
+class UnexpectedToken extends Error {
+    constructor(token) {
+        super(`Parser: Unexpected '${token.type}' token '${token.value}' at line ${token.line} col ${token.col}.`);
+    }
+}
+class AmbiguityError extends Error {
+    constructor(amountAST) {
+        super(`Parser: Too much ambiguity. ${amountAST} ASTs parsed. Output not generated.`);
+    }
+}
+class TypeError extends Error {
+    constructor(errors) {
+        super(`Found type errors.\n\t-${errors.join("\n\t-")}`);
+    }
+}
+const HaskellDefaultConfig = {
+    typecheck: true,
+    includePrims: true,
+};
 export class YukigoHaskellParser {
     errors = [];
     prelude;
-    constructor(prelude) {
+    config;
+    checker;
+    constructor(prelude = preludeCode, config = HaskellDefaultConfig) {
         this.errors = [];
-        this.prelude = prelude ?? preludeCode;
+        this.prelude = this.feedParser(prelude);
+        this.config = config;
+    }
+    preprocessor(code) {
+        return code.replace(/Exception\.evaluate/g, "evaluate");
     }
     parse(code) {
-        const processedCode = preprocessor(code);
-        const parser = new nearley.Parser(nearley.Grammar.fromCompiled(grammar));
-        try {
-            parser.feed(this.prelude + "\n\n" + processedCode);
-            parser.finish();
-        }
-        catch (error) {
-            console.log(error);
-            if ("token" in error) {
-                const token = error.token;
-                const message = `Parser: Unexpected '${token.type}' token '${token.value}' at line ${token.line} col ${token.col}.`;
-                this.errors.push(message);
-                throw Error(message);
+        const processedCode = this.preprocessor(code);
+        const result = this.feedParser(processedCode);
+        const fullAst = this.prelude.concat(result);
+        const makePrim = (name) => new Function(new SymbolPrimitive(name), [
+            new Equation([new VariablePattern(new SymbolPrimitive("x"))], new UnguardedBody(new Sequence([new Return(new ArithmeticUnaryOperation("ToString", new SymbolPrimitive("x")))])))
+        ]);
+        const prims = [
+            makePrim("primShow"),
+            makePrim("primShowChar"),
+            makePrim("primShowString"),
+            makePrim("primShowList")
+        ];
+        const resolveYukigoType = (t) => {
+            if (t instanceof SimpleType) {
+                const mapped = typeMappings[t.value];
+                if (mapped)
+                    return new SimpleType(mapped, t.constraints, t.loc);
+                return t;
+            }
+            if (t instanceof ListType)
+                return t;
+            return t;
+        };
+        const primShowString = new Function(new SymbolPrimitive("primShowString"), [
+            new Equation([new VariablePattern(new SymbolPrimitive("s"))], new UnguardedBody(new Sequence([
+                new Return(new StringOperation("Concat", new StringPrimitive("\""), new StringOperation("Concat", new SymbolPrimitive("s"), new StringPrimitive("\""))))
+            ])))
+        ]);
+        // Transform Instance nodes into Function nodes with TypePatterns
+        const transformedAst = this.config.includePrims ? [...prims, primShowString] : [];
+        for (const node of fullAst) {
+            if (node instanceof Instance) {
+                const instanceNode = node;
+                const yukigoType = resolveYukigoType(instanceNode.type);
+                for (const func of instanceNode.functions) {
+                    const overloadedEquations = func.equations.map((eq) => {
+                        const firstPattern = eq.patterns[0];
+                        const typePattern = new TypePattern(yukigoType, firstPattern);
+                        return new Equation([typePattern, ...eq.patterns.slice(1)], eq.body, eq.returnExpr, eq.loc);
+                    });
+                    transformedAst.unshift(new Function(func.identifier, overloadedEquations, func.loc));
+                }
+            }
+            else {
+                transformedAst.push(node);
             }
-            throw error;
-        }
-        if (parser.results.length > 1) {
-            const msg = `Parser: Too much ambiguity. ${parser.results.length} ASTs parsed. Output not generated.`;
-            this.errors.push(msg);
-            throw Error(msg);
-        }
-        if (parser.results.length == 0) {
-            this.errors.push("Parser did not generate an AST.");
-            throw Error("Parser did not generate an AST.");
         }
-        const ast = groupFunctionDeclarations(parser.results[0]);
-        try {
-            const typeChecker = new TypeChecker();
-            const errors = typeChecker.check(ast);
+        const ast = groupFunctionDeclarations(transformedAst);
+        if (this.config.typecheck) {
+            this.checker = new TypeChecker();
+            const errors = this.checker.check(ast);
             if (errors.length > 0) {
                 this.errors.push(...errors);
+                throw new TypeError(errors);
             }
         }
+        return ast;
+    }
+    parseExpression(code) {
+        const processedCode = this.preprocessor(code);
+        const expr = this.feedParser(processedCode)[0];
+        return expr;
+    }
+    feedParser(code) {
+        const parser = new nearley.Parser(nearley.Grammar.fromCompiled(grammar));
+        try {
+            parser.feed(code);
+            parser.finish();
+        }
         catch (error) {
-            console.log(error);
+            if ("token" in error && error.token)
+                throw new UnexpectedToken(error.token);
+            throw error;
         }
-        return ast;
+        const { results } = parser;
+        if (results.length > 1)
+            throw new AmbiguityError(results.length);
+        if (results.length == 0)
+            return [];
+        return results[0];
+    }
+    typeOfExpression(code) {
+        if (!this.config.typecheck || !this.checker)
+            throw new Error("Type checking not initialized. Did you load a file?");
+        const expr = this.parseExpression(code);
+        return this.checker.inferExpression(expr);
+    }
+    getKnownSymbols() {
+        if (!this.config.typecheck || !this.checker)
+            return [];
+        return this.checker.getKnownSymbols();
     }
 }
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,OAAO,MAAM,qBAAqB,CAAC;AAC1C,OAAO,OAAO,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAGvD,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,MAAM,OAAO,mBAAmB;IACvB,MAAM,GAAa,EAAE,CAAC;IACrB,OAAO,CAAS;IACxB,YAAY,OAAgB;QAC1B,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,WAAW,CAAC;IACxC,CAAC;IAEM,KAAK,CAAC,IAAY;QACvB,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,MAAM,GAAG,aAAa,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAClB,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC1B,MAAM,OAAO,GAAG,uBAAuB,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,KAAK,aAAa,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,GAAG,GAAG,CAAC;gBACpH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1B,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;YACvB,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,+BAA+B,MAAM,CAAC,OAAO,CAAC,MAAM,qCAAqC,CAAC;YACtG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YACpD,MAAM,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,GAAG,GAAG,yBAAyB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,OAAO,MAAM,qBAAqB,CAAC;AAC1C,OAAO,OAAO,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACL,wBAAwB,EAExB,QAAQ,EAER,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,UAAU,EACV,eAAe,EACf,eAAe,EACf,eAAe,EACf,WAAW,EACX,aAAa,EACb,eAAe,GAEhB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGhD,MAAM,eAAgB,SAAQ,KAAK;IACjC,YAAY,KAAY;QACtB,KAAK,CACH,uBAAuB,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,KAAK,aAAa,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,GAAG,GAAG,CACpG,CAAC;IACJ,CAAC;CACF;AACD,MAAM,cAAe,SAAQ,KAAK;IAChC,YAAY,SAAiB;QAC3B,KAAK,CACH,+BAA+B,SAAS,qCAAqC,CAC9E,CAAC;IACJ,CAAC;CACF;AACD,MAAM,SAAU,SAAQ,KAAK;IAC3B,YAAY,MAAgB;QAC1B,KAAK,CAAC,0BAA0B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1D,CAAC;CACF;AAOD,MAAM,oBAAoB,GAAG;IAC3B,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI;CACnB,CAAC;AAEF,MAAM,OAAO,mBAAmB;IACvB,MAAM,GAAa,EAAE,CAAC;IACrB,OAAO,CAAM;IACb,MAAM,CAAgB;IACtB,OAAO,CAAe;IAE9B,YACE,UAAkB,WAAW,EAC7B,SAAwB,oBAAoB;QAE5C,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAEO,YAAY,CAAC,IAAY;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC;IAEM,KAAK,CAAC,IAAY;QACvB,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAE5C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE;YACzE,IAAI,QAAQ,CACV,CAAC,IAAI,eAAe,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAC/C,IAAI,aAAa,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,wBAAwB,CAAC,UAAU,EAAE,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAClH;SACF,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG;YACZ,QAAQ,CAAC,UAAU,CAAC;YACpB,QAAQ,CAAC,cAAc,CAAC;YACxB,QAAQ,CAAC,gBAAgB,CAAC;YAC1B,QAAQ,CAAC,cAAc,CAAC;SACzB,CAAC;QAEF,MAAM,iBAAiB,GAAG,CAAC,CAAM,EAAO,EAAE;YACxC,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,MAAM;oBAAE,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;gBAChE,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,YAAY,QAAQ;gBAAE,OAAO,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QAEF,MAAM,cAAc,GAAG,IAAI,QAAQ,CAAC,IAAI,eAAe,CAAC,gBAAgB,CAAC,EAAE;YACzE,IAAI,QAAQ,CACV,CAAC,IAAI,eAAe,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAC/C,IAAI,aAAa,CAAC,IAAI,QAAQ,CAAC;gBAC7B,IAAI,MAAM,CACR,IAAI,eAAe,CACjB,QAAQ,EACR,IAAI,eAAe,CAAC,IAAI,CAAC,EACzB,IAAI,eAAe,CAAC,QAAQ,EAAE,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CACnF,CACF;aACF,CAAC,CAAC,CACJ;SACF,CAAC,CAAC;QAEH,iEAAiE;QACjE,MAAM,cAAc,GAAQ,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,YAAY,QAAQ,EAAE,CAAC;gBAC7B,MAAM,YAAY,GAAG,IAAgB,CAAC;gBACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAExD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,SAAS,EAAE,CAAC;oBAC1C,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;wBACpD,MAAM,YAAY,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;wBACpC,MAAM,WAAW,GAAG,IAAI,WAAW,CACjC,UAAU,EACV,YAAY,CACb,CAAC;wBACF,OAAO,IAAI,QAAQ,CACjB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EACtC,EAAE,CAAC,IAAI,EACP,EAAE,CAAC,UAAU,EACb,EAAE,CAAC,GAAG,CACP,CAAC;oBACJ,CAAC,CAAC,CAAC;oBACH,cAAc,CAAC,OAAO,CACpB,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,mBAAmB,EAAE,IAAI,CAAC,GAAG,CAAC,CAC7D,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,yBAAyB,CAAC,cAAc,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAC5B,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACM,eAAe,CAAC,IAAY;QACjC,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACO,UAAU,CAAC,IAAY;QAC7B,MAAM,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK;gBAAE,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5E,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QACnC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACM,gBAAgB,CAAC,IAAY;QAClC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO;YACzC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QAEzE,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IACM,eAAe;QACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;IACxC,CAAC;CACF"}