ChangXin Sun
ChangXin Sun
like ithoughts mindmap
Hi, I am working on a `Reasoning System`, it has some syllogistic rules like: ```julia """ { M>, P>} |- P> { M>, P>} |- P> { T>, (*, P,...
I got a nested task error: ```juliarepl nested task error: MethodError: no method matching id(::Module, ::NaTask) Closest candidates are: id(::Module) at C:\Users\Axier\.julia\packages\GenServers\RDs6e\src\genserver.jl:6 Stacktrace: [1] (::Actors.var"#4#6"{Base.Iterators.Pairs{Union{}, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}, typeof(GenServers.id),...
I got a nested task error: ```juliarepl nested task error: MethodError: no method matching id(::Module, ::NaTask) Closest candidates are: id(::Module) at C:\Users\Axier\.julia\packages\GenServers\RDs6e\src\genserver.jl:6 Stacktrace: [1] (::Actors.var"#4#6"{Base.Iterators.Pairs{Union{}, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}, typeof(GenServers.id),...