diff --git a/src/plugins/server/data.ml b/src/plugins/server/data.ml index e6ad81cbbf9737d1dda8a99e17dba8faa3567d81..63d723535e14eaa6ebccfcfb862d8d5ac081de1a 100644 --- a/src/plugins/server/data.ml +++ b/src/plugins/server/data.ml @@ -412,7 +412,7 @@ struct let jtype = declare ~package ~name:"tag" ~descr:(Markdown.plain "Enum Tag Description") (Jrecord [ - "name",Jstring ; + "name",Jalpha ; "label",Jmarkdown.jtype ; "descr",Jmarkdown.jtype ; ]) diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml index a278440a524f50a1d051e66b5ccf01616e06a245..c34c4fb90e9e59a8f12fa30613c5acf5db4c98a1 100644 --- a/src/plugins/server/kernel_ast.ml +++ b/src/plugins/server/kernel_ast.ml @@ -130,7 +130,7 @@ struct States.column ~name:"name" ~descr:(Md.plain "Marker short name") - ~data:(module Jstring) + ~data:(module Jalpha) ~get:(fun (tag, _) -> Printer_tag.label tag) model in @@ -275,7 +275,7 @@ struct States.column model ~name:"name" ~descr:(Md.plain "Name") - ~data:(module Data.Jstring) + ~data:(module Data.Jalpha) ~get:Kernel_function.get_name ; States.column model ~name:"signature" diff --git a/src/plugins/server/kernel_main.ml b/src/plugins/server/kernel_main.ml index a09524ecd4b6e8440541c5a83fac0bdd20f7fc28..e3c92e75a42f4a775c52c41233fe388559f4dfe2 100644 --- a/src/plugins/server/kernel_main.ml +++ b/src/plugins/server/kernel_main.ml @@ -162,7 +162,7 @@ struct let kind = Record.field jlog ~name:"kind" ~descr:(Md.plain "Message kind") (module LogKind) let plugin = Record.field jlog ~name:"plugin" - ~descr:(Md.plain "Emitter plugin") (module Jstring) + ~descr:(Md.plain "Emitter plugin") (module Jalpha) let message = Record.field jlog ~name:"message" ~descr:(Md.plain "Message text") (module Jstring) let category = Record.option jlog ~name:"category" diff --git a/src/plugins/server/kernel_project.ml b/src/plugins/server/kernel_project.ml index 80a7b106b5187e2fec1fe6dadb7d9ea5add05cc7..3dcc1454374bcd3d1176d1ae15eb708683372888 100644 --- a/src/plugins/server/kernel_project.ml +++ b/src/plugins/server/kernel_project.ml @@ -42,7 +42,7 @@ struct ~descr:(Md.plain "Project informations") Pkg.(Jrecord [ "id",ProjectId.jtype; - "name",Jstring; + "name",Jalpha; "current",Jboolean; ])