Clojure ser/de inconsistency

[lxl66566]

I tried to use clojure.data.json to ser/de the history and other structures. And I did a test:

(ns myt
  (:require [clojure.data.json :as json]))
(def my-data {:type :invoke, :f :txn, :value [[:w 2 1]], :time 3291485317, :process 0, :index 0})
(println my-data)
(def json-string (json/write-str my-data))
(println json-string)
(def deser-data (json/read-str json-string :key-fn keyword))
(println deser-data)

The result is:

{:type :invoke, :f :txn, :value [[:w 2 1]], :time 3291485317, :process 0, :index 0}
{"type":"invoke","f":"txn","value":[["w",2,1]],"time":3291485317,"process":0,"index":0}
{:type invoke, :f txn, :value [[w 2 1]], :time 3291485317, :process 0, :index 0}

The key type (:) in value was disappeared. In jepsen, there are amount of key type used in structure value, this problem will affect a lot of ser/de case.

A key point is that we need to keep the : in json format string, otherwise the deserializer will not know which type should a string be deser to, key type or string.