File tree Expand file tree Collapse file tree 1 file changed +5
-1
lines changed Expand file tree Collapse file tree 1 file changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -95,14 +95,18 @@ let nameSpaceToName n =
95
95
96
96
let getNamespace config =
97
97
let ns = config |> Json. get " namespace" in
98
+ let namespaceEntry = config |> Json. get " namespace-entry" in
98
99
let fromString = ns |> bind Json. string in
99
100
let isNamespaced =
100
101
ns |> bind Json. bool |> Option. value ~default: (fromString |> Option. is_some)
101
102
in
102
103
let either x y = if x = None then y else x in
103
104
if isNamespaced then
104
105
let fromName = config |> Json. get " name" |> bind Json. string in
105
- either fromString fromName |> Option. map nameSpaceToName
106
+ let name = either fromString fromName |> Option. map nameSpaceToName in
107
+ match (namespaceEntry, name) with
108
+ | Some _ , Some name -> Some (" @" ^ name)
109
+ | _ -> name
106
110
else None
107
111
108
112
module StringSet = Set. Make (String )
You can’t perform that action at this time.
0 commit comments