[ivette] more use of alpha comparison

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 ;
         ])

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"

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"

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;
         ])