fix some warnings

Author: namin

Emitters/SharedEmitter.cs

@@ -559,7 +559,7 @@ void EmitTypeScriptType(DatatypeInfo dt)
       Sb.AppendLine($"export interface {name}{typeParamStr} {{");
       foreach (var field in ctor.Fields)
       {
-        var tsType = TypeMapper.TypeRefToTypeScript(field.Type);
+        var tsType = TypeMapper.TypeRefToTypeScript(field.Type, preserveTypeParams: true);
         Sb.AppendLine($"  {field.Name}: {tsType};");
       }
       Sb.AppendLine("}");
@@ -581,7 +581,7 @@ void EmitTypeScriptType(DatatypeInfo dt)
         else
         {
           var fields = string.Join("; ", ctor.Fields.Select(f =>
-            $"{f.Name}: {TypeMapper.TypeRefToTypeScript(f.Type)}"));
+            $"{f.Name}: {TypeMapper.TypeRefToTypeScript(f.Type, preserveTypeParams: true)}"));
           Sb.AppendLine($"{prefix}{{ type: '{ctor.Name}'; {fields} }}{suffix}");
         }
       }

TypeMapper.cs

@@ -24,29 +24,29 @@ public static string SanitizeForJs(string name)
   /// <summary>
   /// Convert a Dafny TypeRef to a TypeScript type string (JSON representation).
   /// </summary>
-  public static string TypeRefToTypeScript(TypeRef type)
+  public static string TypeRefToTypeScript(TypeRef type, bool preserveTypeParams = false)
   {
     return type.Kind switch
     {
       TypeKind.Int => "number",
       TypeKind.Bool => "boolean",
       TypeKind.String => "string",
       TypeKind.Seq => type.TypeArgs.Count > 0
-        ? $"{TypeRefToTypeScript(type.TypeArgs[0])}[]"
+        ? $"{TypeRefToTypeScript(type.TypeArgs[0], preserveTypeParams)}[]"
         : "unknown[]",
       TypeKind.Set => type.TypeArgs.Count > 0
-        ? $"{TypeRefToTypeScript(type.TypeArgs[0])}[]"
+        ? $"{TypeRefToTypeScript(type.TypeArgs[0], preserveTypeParams)}[]"
         : "unknown[]",
       TypeKind.Map => type.TypeArgs.Count >= 2
-        ? $"Record<string, {TypeRefToTypeScript(type.TypeArgs[1])}>"
+        ? $"Record<string, {TypeRefToTypeScript(type.TypeArgs[1], preserveTypeParams)}>"
         : "Record<string, unknown>",
       TypeKind.Tuple => type.TypeArgs.Count > 0
-        ? $"[{string.Join(", ", type.TypeArgs.Select(TypeRefToTypeScript))}]"
+        ? $"[{string.Join(", ", type.TypeArgs.Select(a => TypeRefToTypeScript(a, preserveTypeParams)))}]"
         : "unknown[]",
       TypeKind.Datatype => type.TypeArgs.Count > 0
-        ? $"{SanitizeForJs(type.Name)}<{string.Join(", ", type.TypeArgs.Select(TypeRefToTypeScript))}>"
+        ? $"{SanitizeForJs(type.Name)}<{string.Join(", ", type.TypeArgs.Select(a => TypeRefToTypeScript(a, preserveTypeParams)))}>"
         : SanitizeForJs(type.Name),
-      TypeKind.TypeParam => "unknown", // Type params not in scope, use unknown
+      TypeKind.TypeParam => preserveTypeParams ? type.Name : "unknown",
       _ => "unknown"
     };
   }