@typespec/html-program-viewer 0.80.0-dev.0 → 0.80.0-dev.1

package/dist/emitter/index.js

@@ -4514,7 +4514,8 @@ const TypeConfig = buildConfig({
     operations: "nested-items",
     unions: "nested-items",
     enums: "nested-items",
-    decoratorDeclarations: "nested-items"
+    decoratorDeclarations: "nested-items",
+    functionDeclarations: "nested-items"
   },
   Interface: {
     operations: "nested-items",
@@ -4605,6 +4606,7 @@ const TypeConfig = buildConfig({
     default: "value"
   },
   // Don't want to expose those for now
+  FunctionType: null,
   Intrinsic: null
 });
 new Set(HiddenProps);

package/dist/{manifest-CKOZ7gJ9.js → manifest-BDDhiZn2.js}

@@ -1,6 +1,6 @@
 const manifest = {
   "version": "1.9.0",
-  "commit": "942d808c614bdf23c3b865a196c0c51181bebb1a"
+  "commit": "14287e848123aab23ebcaefd2ee02f5bea9317dd"
 };
 
 export { manifest as default };

package/dist/react/index.js

@@ -36296,6 +36296,13 @@ class RekeyableMapImpl {
         return true;
     }
 }
+function getEnvironmentVariable(envVarName, defaultWhenNotAvailable) {
+    // make sure we are fine in both node and browser environments
+    if (typeof process !== "undefined") {
+        return process?.env?.[envVarName] ?? defaultWhenNotAvailable;
+    }
+    return defaultWhenNotAvailable;
+}
 
 /**
  * Create a new diagnostics creator.
@@ -36598,6 +36605,13 @@ const diagnostics = {
     /**
      * Checker
      */
+    "experimental-feature": {
+        severity: "warning",
+        messages: {
+            default: paramMessage `${"feature"} is an experimental feature. It may change in the future or be removed. Use with caution and consider providing feedback on this feature.`,
+            functionDeclarations: "Function declarations are an experimental feature that may change in the future. Use with caution and consider providing feedback to the TypeSpec team.",
+        },
+    },
     "using-invalid-ref": {
         severity: "error",
         messages: {
@@ -36742,12 +36756,14 @@ const diagnostics = {
             modelExpression: `Is a model expression type, but is being used as a value here. Use #{} to create an object value.`,
             tuple: `Is a tuple type, but is being used as a value here. Use #[] to create an array value.`,
             templateConstraint: paramMessage `${"name"} template parameter can be a type but is being used as a value here.`,
+            functionReturn: paramMessage `Function returned a type, but a value was expected.`,
         },
     },
     "non-callable": {
         severity: "error",
         messages: {
             default: paramMessage `Type ${"type"} is not is not callable.`,
+            templateParameter: paramMessage `Template parameter '${"name"} extends ${"constraint"}' is not callable. Ensure it is constrained to a function value or callable type (scalar or scalar constructor).`,
         },
     },
     "named-init-required": {
@@ -36787,6 +36803,14 @@ const diagnostics = {
             default: paramMessage `Property '${"propName"}' is required in type '${"targetType"}' but here is optional.`,
         },
     },
+    "parameter-required": {
+        severity: "error",
+        messages: {
+            default: paramMessage `Parameter '${"paramName"}' is required, but optional in the target function.`,
+            missing: paramMessage `Parameter '${"paramName"}' is required, but missing in the target function.`,
+            "rest-to-required": paramMessage `Parameter '${"paramName"}' is required and not satisfied by a rest parameter, as rest parameters are effectively optional.`,
+        },
+    },
     "value-in-type": {
         severity: "error",
         messages: {
@@ -36885,10 +36909,18 @@ const diagnostics = {
             default: "A function declaration must be prefixed with the 'extern' modifier.",
         },
     },
-    "function-unsupported": {
+    "function-return": {
+        severity: "error",
+        messages: {
+            default: "Function implementation returned an invalid result.",
+            "invalid-value": paramMessage `Function implementation returned invalid JS value '${"value"}'.`,
+            unassignable: paramMessage `Implementation of '${"name"}' returned ${"entityKind"} '${"return"}', which is not assignable to the declared return type '${"type"}'.`,
+        },
+    },
+    "fn-in-union-expression": {
         severity: "error",
         messages: {
-            default: "Function are currently not supported.",
+            default: "Function types in anonymous union expressions must be parenthesized.",
         },
     },
     "missing-implementation": {
@@ -46696,6 +46728,7 @@ var SyntaxKind;
     SyntaxKind[SyntaxKind["ConstStatement"] = 67] = "ConstStatement";
     SyntaxKind[SyntaxKind["CallExpression"] = 68] = "CallExpression";
     SyntaxKind[SyntaxKind["ScalarConstructor"] = 69] = "ScalarConstructor";
+    SyntaxKind[SyntaxKind["FunctionTypeExpression"] = 70] = "FunctionTypeExpression";
 })(SyntaxKind || (SyntaxKind = {}));
 var IdentifierKind;
 (function (IdentifierKind) {
@@ -49065,20 +49098,20 @@ var Token;
     Token[Token["ElseKeyword"] = 64] = "ElseKeyword";
     Token[Token["IfKeyword"] = 65] = "IfKeyword";
     Token[Token["DecKeyword"] = 66] = "DecKeyword";
-    Token[Token["FnKeyword"] = 67] = "FnKeyword";
-    Token[Token["ConstKeyword"] = 68] = "ConstKeyword";
-    Token[Token["InitKeyword"] = 69] = "InitKeyword";
+    Token[Token["ConstKeyword"] = 67] = "ConstKeyword";
+    Token[Token["InitKeyword"] = 68] = "InitKeyword";
     // Add new statement keyword above
-    /** @internal */ Token[Token["__EndStatementKeyword"] = 70] = "__EndStatementKeyword";
+    /** @internal */ Token[Token["__EndStatementKeyword"] = 69] = "__EndStatementKeyword";
     ///////////////////////////////////////////////////////////////
     ///////////////////////////////////////////////////////////////
-    /** @internal */ Token[Token["__StartModifierKeyword"] = 70] = "__StartModifierKeyword";
-    Token[Token["ExternKeyword"] = 70] = "ExternKeyword";
-    /** @internal */ Token[Token["__EndModifierKeyword"] = 71] = "__EndModifierKeyword";
+    /** @internal */ Token[Token["__StartModifierKeyword"] = 69] = "__StartModifierKeyword";
+    Token[Token["ExternKeyword"] = 69] = "ExternKeyword";
+    /** @internal */ Token[Token["__EndModifierKeyword"] = 70] = "__EndModifierKeyword";
     ///////////////////////////////////////////////////////////////
     ///////////////////////////////////////////////////////////////
     // Other keywords
-    Token[Token["ExtendsKeyword"] = 71] = "ExtendsKeyword";
+    Token[Token["ExtendsKeyword"] = 70] = "ExtendsKeyword";
+    Token[Token["FnKeyword"] = 71] = "FnKeyword";
     Token[Token["TrueKeyword"] = 72] = "TrueKeyword";
     Token[Token["FalseKeyword"] = 73] = "FalseKeyword";
     Token[Token["ReturnKeyword"] = 74] = "ReturnKeyword";
@@ -49476,10 +49509,20 @@ function getTypeName(type, options) {
             return type.value.toString();
         case "Intrinsic":
             return type.name;
+        case "FunctionType":
+            return getFunctionSignature(type);
         default:
             return `(unnamed type)`;
     }
 }
+function getFunctionSignature(type) {
+    const parameters = [...type.parameters].map((x) => {
+        const rest = x.rest ? "..." : "";
+        const optional = x.optional ? "?" : "";
+        return `${rest}${x.name}${optional}: ${getEntityName(x.type)}`;
+    });
+    return `fn (${parameters.join(", ")}) => ${getEntityName(type.returnType)}`;
+}
 function getValuePreview(value, options) {
     switch (value.valueKind) {
         case "ObjectValue":
@@ -49498,6 +49541,9 @@ function getValuePreview(value, options) {
             return "null";
         case "ScalarValue":
             return `${getTypeName(value.type, options)}.${value.value.name}(${value.value.args.map((x) => getValuePreview(x, options)).join(", ")}})`;
+        case "Function": {
+            return `fn ${value.name ?? "<anonymous>"}`;
+        }
     }
 }
 function getEntityName(entity, options) {
@@ -51440,7 +51486,7 @@ let manifest;
 try {
     // eslint-disable-next-line @typescript-eslint/ban-ts-comment
     // @ts-ignore
-    manifest = (await import('../manifest-CKOZ7gJ9.js')).default;
+    manifest = (await import('../manifest-BDDhiZn2.js')).default;
 }
 catch {
     const name = "../dist/manifest.js";
@@ -62553,6 +62599,54 @@ var SemanticTokenKind;
 
 requireMain();
 
+/**
+ * Debug areas that can be enabled via TYPESPEC_DEBUG environment variable.
+ *
+ * Note: We use TYPESPEC_DEBUG instead of DEBUG because the DEBUG environment variable
+ * is not supported in VSCode extensions. See: https://github.com/microsoft/vscode/issues/290140
+ *
+ * Usage: TYPESPEC_DEBUG=server.compile,compile.config
+ *
+ * Examples:
+ *   TYPESPEC_DEBUG=server.compile      - Enable server compilation debug logs
+ *   TYPESPEC_DEBUG=*                   - Enable all debug logs
+ *   TYPESPEC_DEBUG=server.compile,compile.config - Enable multiple areas
+ */
+const debugAreas = {
+    serverCompile: "server.compile",
+    updateManager: "update.manager",
+    compileConfig: "compile.config",
+};
+/**
+ * Check if a debug area is enabled via the TYPESPEC_DEBUG environment variable.
+ * Supports comma-separated values and wildcards.
+ */
+function isDebugEnabled(area) {
+    const debug = getEnvironmentVariable("TYPESPEC_DEBUG");
+    if (!debug) {
+        return false;
+    }
+    const areas = debug.split(",").map((a) => a.trim());
+    return areas.some((pattern) => {
+        // Exact match
+        if (pattern === area) {
+            return true;
+        }
+        // Wildcard pattern matching
+        if (pattern.includes("*")) {
+            const regexPattern = pattern.replace(/\*/g, ".*");
+            const regex = new RegExp(`^${regexPattern}$`);
+            return regex.test(area);
+        }
+        return false;
+    });
+}
+({
+    serverCompile: { enabled: isDebugEnabled(debugAreas.serverCompile) },
+    updateManager: { enabled: isDebugEnabled(debugAreas.updateManager) },
+    compileConfig: { enabled: isDebugEnabled(debugAreas.compileConfig) },
+});
+
 const ProgramContext = createContext(void 0);
 const ProgramProvider = ProgramContext.Provider;
 function useProgram() {
@@ -62601,7 +62695,8 @@ const TypeConfig = buildConfig({
     operations: "nested-items",
     unions: "nested-items",
     enums: "nested-items",
-    decoratorDeclarations: "nested-items"
+    decoratorDeclarations: "nested-items",
+    functionDeclarations: "nested-items"
   },
   Interface: {
     operations: "nested-items",
@@ -62692,6 +62787,7 @@ const TypeConfig = buildConfig({
     default: "value"
   },
   // Don't want to expose those for now
+  FunctionType: null,
   Intrinsic: null
 });
 new Set(HiddenProps);

package/dist/react/type-config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-config.d.ts","sourceRoot":"","sources":["../../src/react/type-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAC3B;IAAE,IAAI,EAAE,QAAQ,GAAG,cAAc,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,CAAA;CAAE,GAC9D,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAC/B,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAC9B,QAAQ,GACR,cAAc,GACd,KAAK,GACL,OAAO,GACP,MAAM,GACN,0BAA0B,CAAC,CAAC,CAAC,CAAC;AAElC,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AACvF,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEjF,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI;IACvC,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC;CACpC,CAAC;AACF,MAAM,MAAM,0BAA0B,CAAC,CAAC,IAAI;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;CAG7B,CAAC;AAqBF,eAAO,MAAM,UAAU,EAAE,eAsGvB,CAAC;AAOH,KAAK,UAAU,CAAC,CAAC,SAAS,IAAI,IAAI,mBAAmB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;AAChE,KAAK,eAAe,GAAG;KACpB,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CAC5D,CAAC;AAIF,eAAO,MAAM,cAAc,iLAAuB,CAAC;AAEnD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,MAAM,CAAC,EACpE,IAAI,EAAE,CAAC,EACP,GAAG,EAAE,CAAC,GACL,oBAAoB,CAAC,CAAC,CAAC,CAIzB;AACD,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,GAAG,IAAI,CAE3F"}
+{"version":3,"file":"type-config.d.ts","sourceRoot":"","sources":["../../src/react/type-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAC3B;IAAE,IAAI,EAAE,QAAQ,GAAG,cAAc,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,CAAA;CAAE,GAC9D,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAC/B,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAC9B,QAAQ,GACR,cAAc,GACd,KAAK,GACL,OAAO,GACP,MAAM,GACN,0BAA0B,CAAC,CAAC,CAAC,CAAC;AAElC,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AACvF,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEjF,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI;IACvC,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC;CACpC,CAAC;AACF,MAAM,MAAM,0BAA0B,CAAC,CAAC,IAAI;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;CAG7B,CAAC;AAqBF,eAAO,MAAM,UAAU,EAAE,eAwGvB,CAAC;AAOH,KAAK,UAAU,CAAC,CAAC,SAAS,IAAI,IAAI,mBAAmB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;AAChE,KAAK,eAAe,GAAG;KACpB,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CAC5D,CAAC;AAIF,eAAO,MAAM,cAAc,iLAAuB,CAAC;AAEnD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,MAAM,CAAC,EACpE,IAAI,EAAE,CAAC,EACP,GAAG,EAAE,CAAC,GACL,oBAAoB,CAAC,CAAC,CAAC,CAIzB;AACD,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,GAAG,IAAI,CAE3F"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typespec/html-program-viewer",
-  "version": "0.80.0-dev.0",
+  "version": "0.80.0-dev.1",
   "author": "Microsoft Corporation",
   "description": "TypeSpec library for emitting an html view of the program.",
   "homepage": "https://typespec.io",