BUG: Illegal inttoptr error, crashing julia #414
Labels
Comments
0x0f0f0f
changed the title
|
I cannot reproduce on Catlab v0.12.1 using Julia v1.6.1 and a Mac: julia> using Catlab, Catlab.Theories, Catlab.Programs
julia> @present TrigFunctions(FreeCartesianCategory) begin
R::Ob
sin::Hom(R,R)
(+)::Hom(otimes(R,R),R)
end
Presentation{CartesianCategory, Symbol}(Catlab.Theories.FreeCartesianCategory, (Ob = Catlab.Theories.FreeCartesianCategory.Ob{:generator}[R], Hom = Catlab.Theories.FreeCartesianCategory.Hom{:generator}[sin, +]), Dict(:+ => (:Hom => 2), :R => (:Ob => 1), :sin => (:Hom => 1)), Pair[])
julia> @program(TrigFunctions, (x::R) -> sin(x) + sin(x))
WiringDiagram{CartesianCategory}([:R], [:R],
[ -2 => {inputs},
-1 => {outputs},
1 => Box(:sin, [:R], [:R]),
2 => Box(:sin, [:R], [:R]),
3 => Box(:+, [:R,:R], [:R]) ],
[ Wire((-2,1) => (1,1)),
Wire((-2,1) => (2,1)),
Wire((2,1) => (3,2)),
Wire((1,1) => (3,1)),
Wire((3,1) => (-1,1)) ])Are you on Julia v1.6.0 or the new patch release Julia v1.6.1? |
|
I'm on 1.6.0 and void linux |
|
Would you mind giving v1.6.1 a shot? That the Julia runtime is crashing suggests that at least part of the problem is in Julia itself. |
|
Works with 1.6.1. Can close? |
|
Thanks for confirming. We'll chalk this up to a Julia bug. |
|
Hi, I was just running into the same bug. I use I found the error by simply running the test: Running the test using the command above results in the following message: |
|
Oh no, not this again. Can you try on Julia v1.6.2 and see if you get the same result? |
|
Hehe, yep that worked, phew I used Julia v1.6.3 and that solved it. |
|
Great. It makes me nervous that this bug seems to crop up from time to time, but I'm not sure what to do about it, so I guess I'll close this issue again. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The text was updated successfully, but these errors were encountered: