From 64786c77726d71f2a518f3786d30cdaac01845ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 24 Jun 2020 17:12:48 +0200
Subject: [PATCH] [ivette] more use of alpha comparison
---
src/plugins/server/data.ml | 2 +-
src/plugins/server/kernel_ast.ml | 4 ++--
src/plugins/server/kernel_main.ml | 2 +-
src/plugins/server/kernel_project.ml | 2 +-
4 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/plugins/server/data.ml b/src/plugins/server/data.ml
index e6ad81cbbf9..63d723535e1 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 a278440a524..c34c4fb90e9 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 a09524ecd4b..e3c92e75a42 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 80a7b106b51..3dcc1454374 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;
])
--
GitLab