From 17f3f7e4b7a1e0f9b98fc0fc3be046604595b0ae Mon Sep 17 00:00:00 2001 From: Florian Hammerschmidt Date: Thu, 4 Aug 2022 21:40:13 +0200 Subject: [PATCH] Fix isNamespaced check when namespace is string --- analysis/src/FindFiles.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/analysis/src/FindFiles.ml b/analysis/src/FindFiles.ml index 8dc9948f4..bc3219d30 100644 --- a/analysis/src/FindFiles.ml +++ b/analysis/src/FindFiles.ml @@ -95,10 +95,12 @@ let nameSpaceToName n = let getNamespace config = let ns = config |> Json.get "namespace" in - let isNamespaced = ns |> bind Json.bool |> Option.value ~default:false in + let fromString = ns |> bind Json.string in + let isNamespaced = + ns |> bind Json.bool |> Option.value ~default:(fromString |> Option.is_some) + in let either x y = if x = None then y else x in if isNamespaced then - let fromString = ns |> bind Json.string in let fromName = config |> Json.get "name" |> bind Json.string in either fromString fromName |> Option.map nameSpaceToName else None