Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Precompile Errors on Julia 1.11.0 #162

Open
lukem12345 opened this issue Oct 10, 2024 · 2 comments
Open

Precompile Errors on Julia 1.11.0 #162

lukem12345 opened this issue Oct 10, 2024 · 2 comments
Labels
bug Something isn't working

Comments

@lukem12345
Copy link
Member

Attempting to instantiate and precompile this package on the new stable release of Julia throws an error.

For convenience I'm pasting the error message below:

(GATlab) pkg> precompile
Precompiling project...
  ✗ GATlab
  0 dependencies successfully precompiled in 7 seconds. 27 already precompiled.

ERROR: The following 1 direct dependency failed to precompile:

GATlab 

Failed to precompile GATlab [f0ffcf3b-d13a-433e-917c-cc44ccf5ead2] to "/blue/fairbanksj/luke.morris/julia/compiled/v1.11/GATlab/jl_9Sa5gl".
Invalid instruction at 0x14d272366aee: 0x62, 0xf1, 0xfd, 0x18, 0xd4, 0x04, 0x02, 0xc5, 0xfa, 0x7f, 0x43, 0x20, 0x4c, 0x39, 0x7b

[2490465] signal 4 (2): Illegal instruction
in expression starting at /home/luke.morris/GATlab.jl/src/stdlib/theories/categories.jl:9
+ at ./int.jl:87 [inlined]
_setindex! at ./dict.jl:327 [inlined]
setindex! at ./dict.jl:378
MD at /apps/julia/1.11.0/share/julia/stdlib/v1.11/Markdown/src/parse/parse.jl:24 [inlined]
#parse#20 at /apps/julia/1.11.0/share/julia/stdlib/v1.11/Markdown/src/parse/parse.jl:102
parse at /apps/julia/1.11.0/share/julia/stdlib/v1.11/Markdown/src/parse/parse.jl:100 [inlined]
#parse#175 at /apps/julia/1.11.0/share/julia/stdlib/v1.11/Markdown/src/Markdown.jl:35 [inlined]
parse at /apps/julia/1.11.0/share/julia/stdlib/v1.11/Markdown/src/Markdown.jl:35 [inlined]
repr at /home/luke.morris/GATlab.jl/src/syntax/gats/gat.jl:275
theory_impl at /home/luke.morris/GATlab.jl/src/syntax/TheoryInterface.jl:113
@theory at /home/luke.morris/GATlab.jl/src/syntax/TheoryInterface.jl:49
jl_invoke_julia_macro at /cache/build/builder-amdci5-1/julialang/julia-master/src/ast.c:1139
jl_expand_macros at /cache/build/builder-amdci5-1/julialang/julia-master/src/ast.c:1201 [inlined]
ijl_macroexpand at /cache/build/builder-amdci5-1/julialang/julia-master/src/ast.c:1262
#macroexpand#74 at ./expr.jl:125 [inlined]
macroexpand at ./expr.jl:123 [inlined]
docm at ./docs/Docs.jl:581
docm at ./docs/Docs.jl:581
jfptr_docm_50107.1 at /apps/julia/1.11.0/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
do_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/builtins.c:831
@doc at ./boot.jl:646
jl_invoke_julia_macro at /cache/build/builder-amdci5-1/julialang/julia-master/src/ast.c:1139
jl_expand_macros at /cache/build/builder-amdci5-1/julialang/julia-master/src/ast.c:1201
ijl_expand_with_loc_warn at /cache/build/builder-amdci5-1/julialang/julia-master/src/ast.c:1315
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:737
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:886
ijl_toplevel_eval_in at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:994
eval at ./boot.jl:430 [inlined]
include_string at ./loading.jl:2628
_include at ./loading.jl:2688
include at ./Base.jl:557
jfptr_include_46600.1 at /apps/julia/1.11.0/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
jl_f__call_latest at /cache/build/builder-amdci5-1/julialang/julia-master/src/builtins.c:875
include at /home/luke.morris/GATlab.jl/src/stdlib/theories/module.jl:1
unknown function (ip: 0x14d277083232)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
do_call at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:126
eval_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:223
eval_stmt_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:174 [inlined]
eval_body at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:663
jl_interpret_toplevel_thunk at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:821
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:943
jl_eval_module_expr at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:215 [inlined]
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:743
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:886
ijl_toplevel_eval_in at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:994
eval at ./boot.jl:430 [inlined]
include_string at ./loading.jl:2628
_include at ./loading.jl:2688
include at ./Base.jl:557
jfptr_include_46600.1 at /apps/julia/1.11.0/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
jl_f__call_latest at /cache/build/builder-amdci5-1/julialang/julia-master/src/builtins.c:875
include at /home/luke.morris/GATlab.jl/src/stdlib/module.jl:1
unknown function (ip: 0x14d277083162)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
do_call at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:126
eval_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:223
eval_stmt_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:174 [inlined]
eval_body at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:663
jl_interpret_toplevel_thunk at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:821
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:943
jl_eval_module_expr at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:215 [inlined]
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:743
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:886
ijl_toplevel_eval_in at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:994
eval at ./boot.jl:430 [inlined]
include_string at ./loading.jl:2628
_include at ./loading.jl:2688
include at ./Base.jl:557
jfptr_include_46600.1 at /apps/julia/1.11.0/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
jl_f__call_latest at /cache/build/builder-amdci5-1/julialang/julia-master/src/builtins.c:875
include at /home/luke.morris/GATlab.jl/src/GATlab.jl:1
unknown function (ip: 0x14d277043bb2)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
do_call at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:126
eval_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:223
eval_stmt_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:174 [inlined]
eval_body at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:663
jl_interpret_toplevel_thunk at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:821
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:943
jl_eval_module_expr at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:215 [inlined]
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:743
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:886
ijl_toplevel_eval_in at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:994
eval at ./boot.jl:430 [inlined]
include_string at ./loading.jl:2628
_include at ./loading.jl:2688
include at ./Base.jl:557 [inlined]
include_package_for_output at ./loading.jl:2806
jfptr_include_package_for_output_70576.1 at /apps/julia/1.11.0/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
do_call at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:126
eval_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:223
eval_stmt_value at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:174 [inlined]
eval_body at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:663
jl_interpret_toplevel_thunk at /cache/build/builder-amdci5-1/julialang/julia-master/src/interpreter.c:821
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:943
jl_toplevel_eval_flex at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:886
ijl_toplevel_eval_in at /cache/build/builder-amdci5-1/julialang/julia-master/src/toplevel.c:994
eval at ./boot.jl:430 [inlined]
include_string at ./loading.jl:2628
include_string at ./loading.jl:2638 [inlined]
exec_options at ./client.jl:321
_start at ./client.jl:531
jfptr__start_72051.1 at /apps/julia/1.11.0/lib/julia/sys.so (unknown line)
jl_apply at /cache/build/builder-amdci5-1/julialang/julia-master/src/julia.h:2157 [inlined]
true_main at /cache/build/builder-amdci5-1/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci5-1/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci5-1/julialang/julia-master/cli/loader_exe.c:58
__libc_start_main at /lib64/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8)
Allocations: 20899266 (Pool: 20898570; Big: 696); GC: 1
@epatters epatters added the bug Something isn't working label Oct 10, 2024
@lukem12345
Copy link
Member Author

lukem12345 commented Oct 10, 2024

Commenting out lines containing docstr in src/syntax/TheoryInterface.jl:theory_impl precompiles without throwing errors.

@epatters
Copy link
Member

epatters commented Oct 10, 2024

Even if we're doing something wrong here, getting "Illegal instruction" seems like a bug in Julia.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants