fix

aclai-lab · Nov 4, 2023 · 1f1b4e1 · 1f1b4e1
1 parent 2a27f4c
commit 1f1b4e1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/propositional-logic.jl b/src/propositional-logic.jl
@@ -236,8 +236,9 @@ struct TruthDict{
         T<:Truth,
         D<:AbstractDict{<:Atom{<:A},T},
     }
-        truthtype = supertype(T)
+        truthtype = supertype(T) <: Truth ? supertype(T) : Truth
         d = Dict{Atom{A},truthtype}(d)
+
         return new{A,truthtype,typeof(d)}(d)
     end
     function TruthDict{A,T}(d::AbstractDict{<:Atom,T}) where {A,T<:Truth}
@@ -496,7 +497,6 @@ end
 
 ############################################################################################
 
-# NOTE: the following has to be discussed @mauro-milella
 """
     struct TruthTable{A,T<:Truth}
 

diff --git a/test/core.jl b/test/core.jl
@@ -199,7 +199,8 @@ f_conj_int = @test_nowarn CONJUNCTION(f_int, f_int, f_int)
 
 @test_nowarn TruthDict()
 @test_nowarn TruthDict([])
-@test_nowarn TruthDict((2,3),)
+@test_throws MethodError TruthDict((2,3),)
+@test_nowarn TruthDict((2,true),)
 @test_nowarn TruthDict((p1, true),)
 @test_nowarn TruthDict([(p1, true),])
 @test_nowarn TruthDict(p1 => true)