feat: add support for UnknownKeyword

[converter][web]

Author: MangelMaxime

src/Glutinum.Converter/FsharpAST.fs

@@ -372,5 +372,6 @@ type FSharpType =
     | ThisType of typeName: string
     | Function of FSharpFunctionType
     | Class of FSharpClass
+    | Object
 
 type FSharpOutFile = { Name: string; Opens: string list }

src/Glutinum.Converter/GlueAST.fs

@@ -210,6 +210,7 @@ type GlueType =
     | IntersectionType of GlueMember list
     | TypeLiteral of GlueTypeLiteral
     | OptionalType of GlueType
+    | Unknown
 
     member this.Name =
         match this with
@@ -245,4 +246,5 @@ type GlueType =
         | FunctionType _
         | TupleType _
         | OptionalType _ // TODO: Should we take the name of the underlying type and add option to it?
-        | Discard -> "obj"
+        | Discard
+        | Unknown -> "obj"

src/Glutinum.Converter/Printer.fs

@@ -164,6 +164,7 @@ let private printAttributes
 
 let rec private printType (fsharpType: FSharpType) =
     match fsharpType with
+    | FSharpType.Object -> "obj"
     | FSharpType.Mapped info -> info.Name
     | FSharpType.Union info ->
         let cases =
@@ -733,6 +734,7 @@ let rec print (printer: Printer) (fsharpTypes: FSharpType list) =
 
         | FSharpType.Mapped _
         | FSharpType.Primitive _
+        | FSharpType.Object
         | FSharpType.TypeReference _
         | FSharpType.Option _
         | FSharpType.ResizeArray _

src/Glutinum.Converter/Reader/TypeNode.fs

@@ -318,6 +318,8 @@ let readTypeNode
 
         reader.ReadTypeOperatorNode typeOperatorNode
 
+    | Ts.SyntaxKind.UnknownKeyword -> GlueType.Unknown
+
     | _ ->
         generateReaderError
             "type node"

src/Glutinum.Converter/Transform.fs

@@ -123,6 +123,8 @@ let rec private transformType
     : FSharpType
     =
     match glueType with
+    | GlueType.Unknown -> FSharpType.Object
+
     | GlueType.Primitive primitiveInfo ->
         transformPrimitive primitiveInfo |> FSharpType.Primitive
 
@@ -1258,6 +1260,18 @@ let private transformTypeAliasDeclaration
         }
         |> FSharpType.Interface
 
+    | GlueType.Unknown ->
+        ({
+            Name = typeAliasName
+            Type = FSharpType.Object
+            TypeParameters =
+                transformTypeParameters
+                    context
+                    glueTypeAliasDeclaration.TypeParameters
+        }
+        : FSharpTypeAlias)
+        |> FSharpType.TypeAlias
+
     | GlueType.ClassDeclaration _
     | GlueType.Enum _
     | GlueType.Interface _
@@ -1350,6 +1364,7 @@ let rec private transformToFsharp
         | GlueType.Literal _
         | GlueType.Variable _
         | GlueType.Primitive _
+        | GlueType.Unknown
         | GlueType.KeyOf _
         | GlueType.Discard
         | GlueType.TupleType _

src/Glutinum.Web/Pages/Editors.FSharpAST.FSharpASTViewer.fs

@@ -299,6 +299,8 @@ type FSharpASTViewer =
         (context: NodeContext<'Msg>)
         =
         match fsharpType with
+        | FSharpType.Object -> ASTViewer.renderValueOnly "Object" context
+
         | FSharpType.Interface interfaceInfo ->
             ASTViewer.renderNode
                 "Interface"

src/Glutinum.Web/Pages/Editors.GlueAST.GlueASTViewer.fs

@@ -155,6 +155,8 @@ type GlueASTViewer =
         (context: NodeContext<'Msg>)
         =
         match glueType with
+        | GlueType.Unknown -> ASTViewer.renderValueOnly "Unknown" context
+
         | GlueType.Variable variableInfo ->
             ASTViewer.renderNode
                 "Variable"

tests/specs/references/typeAlias/unknown.d.ts

@@ -0,0 +1 @@
+export type MyType = unknown

tests/specs/references/typeAlias/unknown.fsx

@@ -0,0 +1,12 @@
+module rec Glutinum
+
+open Fable.Core
+open Fable.Core.JsInterop
+open System
+
+type MyType =
+    obj
+
+(***)
+#r "nuget: Fable.Core"
+(***)

tests/specs/references/unknown/simple.d.ts

@@ -0,0 +1 @@
+export const version : unknown;

tests/specs/references/unknown/simple.fsx

@@ -0,0 +1,14 @@
+module rec Glutinum
+
+open Fable.Core
+open Fable.Core.JsInterop
+open System
+
+[<Erase>]
+type Exports =
+    [<Import("version", "module")>]
+    static member inline version: obj = nativeOnly
+
+(***)
+#r "nuget: Fable.Core"
+(***)