semantifold 0.3.0 → 0.5.0

package/build/src/frontends/ruby.d.ts

@@ -1,12 +1,79 @@
+export type RubyFunctionSignature = {
+    name: string;
+    nameLocation: import("../semantic/types.js").SourceLocation;
+    parameters: import("../semantic/types.js").Parameter[];
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType;
+    typeParameters?: import("../semantic/types.js").TypeParameter[];
+    location: import("../semantic/types.js").SourceLocation;
+};
+export type RubyConversionContext = {
+    bindings: Map<string, import("../semantic/types.js").SemanticBindingType>;
+    classes: Map<string, import("../semantic/types.js").ClassDeclaration>;
+    currentClass?: import("../semantic/types.js").ClassDeclaration;
+    errorNames: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    errors: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    functions: Map<string, RubyFunctionSignature>;
+    orderedMapDeclarations?: Set<object>;
+    records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+    recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>;
+    loopDepth?: number;
+    returnType?: import("../semantic/types.js").SemanticFunctionReturnType;
+    typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>;
+};
 /**
  * Parses Ruby into the shared semantic module.
  * @param {object} input - Parser input.
  * @param {string} input.filename - Source filename.
  * @param {string} input.source - Source text.
+ * @param {readonly import("../semantic/types.js").EffectCapabilityDeclaration[]} [input.capabilities] - Compiler-authorized declarations.
+ * @param {{isEntry: boolean, classes?: Map<string, import("../semantic/types.js").ClassDeclaration>, functions: Map<string, import("../semantic/types.js").FunctionDeclaration>, records: Map<string, import("../semantic/types.js").RecordDeclaration>, errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>}} [input.program] - Resolved program imports and entry role.
  * @returns {import("../semantic/types.js").SemanticModule} Semantic module.
  */
-export declare function parseRuby({ filename, source }: {
+export declare function parseRuby({ capabilities, filename, source, program }: {
     filename: string;
     source: string;
+    capabilities?: readonly import("../semantic/types.js").EffectCapabilityDeclaration[];
+    program?: {
+        isEntry: boolean;
+        classes?: Map<string, import("../semantic/types.js").ClassDeclaration>;
+        functions: Map<string, import("../semantic/types.js").FunctionDeclaration>;
+        records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+        errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    };
 }): import("../semantic/types.js").SemanticModule;
+/**
+ * Reads the canonical parser-owned Ruby module and literal require-relative edges.
+ * @param {object} input - Parser input.
+ * @param {string} input.filename - Source filename.
+ * @param {string} input.source - Source text.
+ * @returns {{imports: {importedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, namespace: true, pathLocation: import("../semantic/types.js").SourceLocation, specifier: string, stdlibCandidate?: true, typeOnly: false}[], exports: {exportedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, typeOnly: false}[], nativeName: string, nativeReferences: {form: "constructor-call" | "receiver-call" | "unqualified-call", location: import("../semantic/types.js").SourceLocation, nativeModule: string, symbol: string}[]}} Parser-owned Ruby module header.
+ */
+export declare function inspectRubyModule({ filename, source }: {
+    filename: string;
+    source: string;
+}): {
+    imports: {
+        importedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        namespace: true;
+        pathLocation: import("../semantic/types.js").SourceLocation;
+        specifier: string;
+        stdlibCandidate?: true;
+        typeOnly: false;
+    }[];
+    exports: {
+        exportedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        typeOnly: false;
+    }[];
+    nativeName: string;
+    nativeReferences: {
+        form: "constructor-call" | "receiver-call" | "unqualified-call";
+        location: import("../semantic/types.js").SourceLocation;
+        nativeModule: string;
+        symbol: string;
+    }[];
+};
 //# sourceMappingURL=ruby.d.ts.map

package/build/src/frontends/ruby.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ruby.d.ts","sourceRoot":"","sources":["../../../src/frontends/ruby.js"],"names":[],"mappings":"AAwjBA;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJzC;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEyC,GAF/B,OAAO,sBAAsB,EAAE,cAAc,CAgDzD"}
+{"version":3,"file":"ruby.d.ts","sourceRoot":"","sources":["../../../src/frontends/ruby.js"],"names":[],"mappings":"AA6DI,YAAgV,qBAAqB,GAA3V;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,SAAS,EAAE,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,0BAA0B,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAA;CAAC,CAAuB;AACrW,YAA42B,qBAAqB,GAAv3B;IAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;IAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAAC,sBAAsB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,sBAAsB,EAAE,0BAA0B,CAAC;IAAC,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CAAA;CAAC,CAAuB;AAslDr4B;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,EAAC,YAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAC,EANrE;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;IAAsF,YAAY,AAAlG,CACA,EADQ,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAC7E;IAAsU,OAAO,AAA7U,CACA,EADQ;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAA;KAAC,CAC7T;CAEqE,GAF3D,OAAO,sBAAsB,EAAE,cAAc,CAmJzD;AAsCD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJjD;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEiD,GAFvC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,IAAI,CAAC;QAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,eAAe,CAAC,EAAE,IAAI,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE;QAAC,IAAI,EAAE,kBAAkB,GAAG,eAAe,GAAG,kBAAkB,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,EAAE,CAAA;CAAC,CAyF/kB"}