semantifold 0.3.0 → 0.4.0

package/src/frontends/scalars.js

@@ -2,7 +2,7 @@
 
 import {missingType} from "../diagnostic.js"
 import {setParserRanges} from "../semantic/provenance.js"
-import {scalarType} from "../semantic/scalars.js"
+import {scalarType, voidType} from "../semantic/scalars.js"
 
 /**
  * Builds a source-spelling map with exact semantic scalar values.
@@ -15,6 +15,9 @@ function sourceTypeMap(entries) {
 
 /** @type {Readonly<Record<import("../semantic/types.js").SemanticLanguage, Map<string, import("../semantic/types.js").SemanticTypeName>>>} */
 const sourceScalarTypes = Object.freeze({
+  dart: sourceTypeMap([["int", "integer"], ["bool", "boolean"], ["String", "string"]]),
+  swift: sourceTypeMap([["Int64", "integer"], ["Bool", "boolean"], ["String", "string"]]),
+  rust: sourceTypeMap([["i64", "integer"], ["bool", "boolean"], ["String", "string"]]),
   cpp: sourceTypeMap([["std::int64_t", "integer"], ["bool", "boolean"], ["std::string", "string"]]),
   c: sourceTypeMap([["int64_t", "integer"], ["bool", "boolean"], ["SemantifoldString", "string"]]),
   csharp: sourceTypeMap([
@@ -36,6 +39,11 @@ const sourceScalarTypes = Object.freeze({
     ["String", "string"],
     ["java.lang.String", "string"]
   ]),
+  kotlin: sourceTypeMap([
+    ["Long", "integer"],
+    ["Boolean", "boolean"],
+    ["String", "string"]
+  ]),
   javascript: sourceTypeMap([
     ["number", "integer"],
     ["boolean", "boolean"],
@@ -95,3 +103,25 @@ export function requireSourceScalarType(language, sourceType, subject, location,
 
   return type
 }
+
+/**
+ * Requires an exact scalar or Task-005 void function-return spelling.
+ * @param {import("../semantic/types.js").SemanticLanguage} language - Source language.
+ * @param {string | undefined} sourceType - Exact source return type spelling.
+ * @param {string} subject - Typed function return.
+ * @param {import("../semantic/types.js").SourceLocation} location - Owning function location.
+ * @param {import("../semantic/types.js").SourceLocation} [typeLocation] - Exact parser-owned type spelling.
+ * @returns {import("../semantic/types.js").SemanticFunctionReturnType} Semantic return type.
+ */
+export function requireSourceReturnType(language, sourceType, subject, location, typeLocation = location) {
+  const voidSpelling = language == "ruby" ? "[void]" : "void"
+
+  if (sourceType == voidSpelling) {
+    const type = voidType()
+
+    setParserRanges(type, {type: typeLocation})
+    return type
+  }
+
+  return requireSourceScalarType(language, sourceType, subject, location, typeLocation)
+}