fix bot API, schema

2026-08-14 07:10:19 +00:00 · 2026-06-05 22:59:03 +01:00
parent 146aa54ab2
commit afbac2a88c
8 changed files with 102 additions and 5 deletions
@@ -67,7 +67,7 @@ pattern TUTCTime :: String
 pattern TUTCTime = "UTCTime"

 primitiveTypes :: [ConsName]
-primitiveTypes = [TBool, TString, TInt, TInt64, TWord32, TDouble, TJSONObject, TUTCTime, "BBSProof", "BBSPresHeader", "ByteString"]
+primitiveTypes = [TBool, TString, TInt, TInt64, TWord32, TDouble, TJSONObject, TUTCTime]

 data SumTypeInfo = STI {typeName :: String, recordTypes :: [RecordTypeInfo]}
  deriving (Show)
@@ -199,6 +199,8 @@ toTypeInfo tr =
        "AgentRcvFileId",
        "AgentSndFileId",
        "B64UrlByteString",
+        "BBSProof",
+        "BBSPresHeader",
        "CbNonce",
        "ConnectionLink",
        "ConnShortLink",