From e913dffc18e1a2aca6377515f39f54d4e4f845c4 Mon Sep 17 00:00:00 2001 From: Kris Date: Thu, 22 Sep 2022 17:02:50 -0700 Subject: [PATCH] stricter typing on dicts in case empty --- src/theories/Schema.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/theories/Schema.jl b/src/theories/Schema.jl index 870de710a..2944e321e 100644 --- a/src/theories/Schema.jl +++ b/src/theories/Schema.jl @@ -163,8 +163,8 @@ function SchemaDesc(p::Presentation) obs,homs,attrtypes,attrs = map(t -> p.generators[t],[:Ob,:Hom,:AttrType,:Attr]) ob_syms,hom_syms,attrtype_syms,attr_syms = map(xs -> Symbol[nameof.(xs)...], [obs,homs,attrtypes,attrs]) - doms = Dict(nameof(f) => nameof(dom(f)) for f in [homs; attrs]) - codoms = Dict(nameof(f) => nameof(codom(f)) for f in [homs; attrs]) + doms = Dict{Symbol,Symbol}(nameof(f) => nameof(dom(f)) for f in [homs; attrs]) + codoms = Dict{Symbol,Symbol}(nameof(f) => nameof(codom(f)) for f in [homs; attrs]) SchemaDesc(ob_syms, hom_syms, attrtype_syms, attr_syms, doms, codoms) end