julia icon indicating copy to clipboard operation
julia copied to clipboard
verified publisher icon JuliaLang

Internal error: during type inference of...

Open emilhedevang opened this issue 9 months ago • 3 comments

In the REPL of Julia 1.11.4, I entered the simple function f below. It computes the maximal element of an array using a left fold that uses single-element tuple as the accumulator, initialized with a value of type Tuple{Float64}.

julia> f(arr) = foldl((acc, x) -> ifelse(x > acc[1], (x,), (acc[1],)), arr, init = (-Inf,))
f (generic function with 1 method)

When testing it on an array of Float64, I get the expected result.

julia> f([1., 20., 3., 4.])
(20.0,)

When testing it on an array of Int64, I get an "Internal error: during type inference of...". After the error you see that it computes the correct value. I know that I am initializing the left fold with an value of type Tuple{Float64} and that after the first iteration in the fold the type of the accumulator is Tuple{Int64} so types have changed. However, I was not expecting the internal error during type inference, perhaps just some type instability involving Any. If I use plain values instead of tuples, then I get no error.

julia> f([1, 20, 3, 4])
Internal error: during type inference of
f(Array{Int64, 1})
Encountered unexpected error in runtime:
BoundsError(a=Array{Int64, 1}(dims=(142,), mem=Memory{Int64}(658, 00000219c30de200)[1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 2, 0, 2, 1, 0, 0, 2, 0, 1, 0, 0, 0, 0, 1, 2, 4, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 3, 1, 1, 2, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 2, 0, 2, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2533279085887488, 1407374883946496, 1688849860657152, 1407374883880960, 1688849860722688, 2251799814012928, 2251799814012928, 1688849860657152, 2251799813685248, 0, 2533274790395904, 4294901760, 0, 0, 0, 2251808403619840, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 2251808404144130, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970342017302532, 1970350607237125, 1688875630526470, 1970350607237126, 1688875630460934, 1688879925493766, 1688884220395528, 1688884220395528, 1688884220395528, 1688884220395528, 1688884220395528, 1688884220395528, 1688884220395528, 1688884220395528, 1688884220395528, 1688888515362824, 1688892810330122, 1688892810330122, 1688901400264716, 1688901400264716, 1407426423554060, 1407435013423117, 1407443603357711, 1407443603357712, 1407443603357712, 1407443603357712, 1407443603357712, 1407447898325008, 1407452193292306, 1407460783226900, 1407469373161492, 1407477963096088, 1126007281352728, 1126033051090972, 1126037346058272, 1126037346058272, 1126045935992864, 1126063115862052, 1126080295731240, 1126110360502320, 844678333399091, 844699808235584, 844742757908546, 844841542156370, 563499709366382, 563718752698508, 282845071343854, -4294966739, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11, 2309669906928, -9223364313218152710, 0, 0, 1, 0, 15, 0, 293, 0, 296, 0, 295, 0, 292, 0, 116, -1, -4294967179, -1, -4294967178, -1, -4294967290, -1, -4294967289, -1, -4294967278, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, -9223363239477770540, 2309669907216, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -2147483644, 262144, 1407374884012032, 1125899907301376, 1125899907235840, 1407374883749888, 1125899907104768, 1125899907104768, 1125899907104768, 1407374883815424, 1125899907170304, -281474976382976, 0, 0, 0, 0, 1407392063815682, 1125938561810440, 844485059936266, 844497944772624, 844515124641811, 844540894445591, 563104572375070, 563177586819116, 281891588603970, 163, 0, 0, 0, 0, -4294967296, 844424930131968, 0, 1407374884012032, 1125899907104768, 562949953617920, 131072, 0, 0, 1688849860263936, 1970324837236736, 1407396358782979, 844519419674635, 563160407015454, 281870113833020, 936302936190, 0, -4096, 2308544921599, 8, -4096, 2309669905020, 276, 1854780320, 2309669907312, 20, 1854780288, 2309669907556, 2306397437970, 1854780256, 562958543355904, 562954248454147, 0, 0, 120259084288, 38654705691, 38654705673, 34359738368, 9, 25769803776, 55834574884, 64424509454, 34359738401, 81604378634, 1812476198922, 1765231559072, 1791001362847, 1782411428247, 1778116460960, 409, 1146756268433, 1705102016910, 1125281431813, 1125281431819, 1644972474772, 1675037245839, 1159641170315, 1705102016898, 4294967561, 1649267441934, 1602022801795, 1125281431817, 95, 197568495874, 197568496000, 1146756268396, 1146756268104, 1120986464517, 1584842932491, 1112396529801, 68719476998, 1155346202881, 408021893377, 34359738465, 197568495874, 1524713390181, 472446402830, 1155346202729, 472446402817, 472446402818, 4294967561, 489626271758, 309237645573, 1112396530003, 1125281431560, 1138166333700, 309237645312, 309237645376, 279172874504, 51539607874, 588410519819, 408021893259, 1155346202627, 313532612878, 1138166333699, 309237645320, 313532612608, 60129542146, 1348619731257, 1335734829369, 1331439862071, 158913790262, 1030792151348, 365072220401, 369367187472, 171798692095, 1108101562625, 1116691497219, 1125281431813, 1133871366407, 408021893385, 12884902155, 1159641170189, 420906795016, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -9223372019674906625, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, -9223357741912684690, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1898375545275, 1889785610681, 1881195676087, 1872605741493, 1864015806899, 1855425872305, 1846835937711, 1838246003117, 1829656068523, 1821066133929, 1812476199335, 1808181232036, 1799591297442, 1786706395553, 415, 1120986464670, 1773821493660, 1760936591771, 1752346657177, 1146756268439, 1739461755286, 1735166787846, 1726576853250, 1730871820689, 1713691951504, 1700807049613, 1696512082318, 4294967690, 1683627180425, 1679332213001, 1670742278534, 1662152343940, 1653562409346, 1103806595144, 1649267441934, 1636382540158, 1155346203007, 1632087572596, 197568495711, 416611827972, 1614907703673, 1610612736378, 1627792605558, 1597727834485, 1584842932594, 1580547965292, 1571958030707, 1567663063407, 1554778161515, 433791697257, 1112396529678, 34359738728, 1133871366254, 1533303325030, 1529008357730, 1511828488551, 1516123455843, 588410519654, 68719476800, 1507533520898, 365072220299, 489626271849, 51539607656, 279172874243, 1494648619355, 1455993913690, 1498943586649, 1477468750167, 1464583848278, 1451698946398, 1443109011796, 1447403979087, 1421634175308, 1413044240714, 1408749273421, 1391569404231, 1395864371523, 1382979469633, 1400159338816, 1370094567758, 463856468074, 47244640365, 313532612871, 420906795013, 1142461300829, 77309411596, 425201762390, 171798691940, 476741369865, 17179869296, 103079215219, 292057776259, 25769803789, 1335734829371, 1331439862074, 1357209665848, 1327144894772, 1309965025593, 1314259992880, 1361504633139, 1288490189102, 1284195221807, 1275605287213, 1262720385320, 1258425418026, 1249835483431, 1241245548836, 1245540516128, 1232655614270, 64424509726, 1069446856944, 30064771159, 73014444069, 1168231104608, 206158430311, 1095216660500, 42949673013, 253403070581, 515396075639, 266287972377, 545460846655, 111669149826, 120259084420, 824633721016, 833223655455, 919123001539, 330712482008, 979252543712, 154618822734, 992137445605, 996432412752, 347892351211, 352187318508, 163208757496, 1099511628027, 390842024024, 1035087118377, 184683593822, 1185410973740, 201863462960, 193273528366, 184683593772, 176093659178, 171798691848, 163208757287, 154618822693, 64424509475, 30064771086, 115964117020, 38654705690, 103079215129, 98784247816, 30064771072, 25769803798, 90194313233, 17179869189, 81604378644, 77309411344, 4294967299, 552, 0, 72057594037927936, 217863852489179906, 72342371878109191, 360852023983473153]), i=(-11,))
throw_boundserror at .\essentials.jl:14
getindex at .\essentials.jl:916 [inlined]
renumber_ssa2 at .\compiler/ssair\ir.jl:1222
process_phinode_values at .\compiler/ssair\ir.jl:1190
jfptr_process_phinode_values_37282.1 at C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\lib\julia\sys.dll (unknown line)
process_node! at .\compiler/ssair\ir.jl:1533
process_newnode! at .\compiler/ssair\ir.jl:1663
iterate_compact at .\compiler/ssair\ir.jl:1800
iterate at .\compiler/ssair\ir.jl:1731 [inlined]
sroa_pass! at .\compiler/ssair\passes.jl:1469
run_passes_ipo_safe at .\compiler\optimize.jl:994
run_passes_ipo_safe at .\compiler\optimize.jl:1009 [inlined]
optimize at .\compiler\optimize.jl:983
jfptr_optimize_43924.1 at C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\lib\julia\sys.dll (unknown line)
finish_nocycle at .\compiler\typeinfer.jl:265
_typeinf at .\compiler\typeinfer.jl:249
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3044
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3068
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3068
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3068
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3068
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3068
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_edge at .\compiler\typeinfer.jl:923
abstract_call_method at .\compiler\abstractinterpretation.jl:660
abstract_call_gf_by_type at .\compiler\abstractinterpretation.jl:102
abstract_call_known at .\compiler\abstractinterpretation.jl:2200
abstract_call at .\compiler\abstractinterpretation.jl:2282
abstract_call at .\compiler\abstractinterpretation.jl:2275
abstract_call at .\compiler\abstractinterpretation.jl:2423
abstract_eval_call at .\compiler\abstractinterpretation.jl:2438
abstract_eval_statement_expr at .\compiler\abstractinterpretation.jl:2454
abstract_eval_statement at .\compiler\abstractinterpretation.jl:2752
abstract_eval_basic_statement at .\compiler\abstractinterpretation.jl:3068
typeinf_local at .\compiler\abstractinterpretation.jl:3331
typeinf_nocycle at .\compiler\abstractinterpretation.jl:3413
_typeinf at .\compiler\typeinfer.jl:244
typeinf at .\compiler\typeinfer.jl:215
typeinf_ext at .\compiler\typeinfer.jl:1101
typeinf_ext_toplevel at .\compiler\typeinfer.jl:1139
typeinf_ext_toplevel at .\compiler\typeinfer.jl:1135
jfptr_typeinf_ext_toplevel_41116.1 at C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\lib\julia\sys.dll (unknown line)
_jl_invoke at C:/workdir/src\gf.c:2948 [inlined]
ijl_apply_generic at C:/workdir/src\gf.c:3125 [inlined]
jl_apply at C:/workdir/src\julia.h:2157 [inlined]
jl_type_infer at C:/workdir/src\gf.c:390
jl_generate_fptr_impl at C:/workdir/src\jitlayers.cpp:519
jl_compile_method_internal at C:/workdir/src\gf.c:2536
jl_compile_method_internal at C:/workdir/src\gf.c:2946 [inlined]
_jl_invoke at C:/workdir/src\gf.c:2940 [inlined]
ijl_apply_generic at C:/workdir/src\gf.c:3125
jl_apply at C:/workdir/src\julia.h:2157 [inlined]
do_call at C:/workdir/src\interpreter.c:126
eval_value at C:/workdir/src\interpreter.c:223
eval_stmt_value at C:/workdir/src\interpreter.c:174 [inlined]
eval_body at C:/workdir/src\interpreter.c:684
jl_interpret_toplevel_thunk at C:/workdir/src\interpreter.c:824
top-level scope at REPL[3]:1
jl_toplevel_eval_flex at C:/workdir/src\toplevel.c:943
jl_toplevel_eval_flex at C:/workdir/src\toplevel.c:886
ijl_toplevel_eval at C:/workdir/src\toplevel.c:952 [inlined]
ijl_toplevel_eval_in at C:/workdir/src\toplevel.c:994
eval at .\boot.jl:430 [inlined]
eval_user_input at C:\workdir\usr\share\julia\stdlib\v1.11\REPL\src\REPL.jl:245
repl_backend_loop at C:\workdir\usr\share\julia\stdlib\v1.11\REPL\src\REPL.jl:342
#start_repl_backend#59 at C:\workdir\usr\share\julia\stdlib\v1.11\REPL\src\REPL.jl:327
start_repl_backend at C:\workdir\usr\share\julia\stdlib\v1.11\REPL\src\REPL.jl:324
#run_repl#72 at C:\workdir\usr\share\julia\stdlib\v1.11\REPL\src\REPL.jl:483
run_repl at C:\workdir\usr\share\julia\stdlib\v1.11\REPL\src\REPL.jl:469
jfptr_run_repl_10360.1 at C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\share\julia\compiled\v1.11\REPL\u0gqU_hz07T.dll (unknown line)
#1150 at .\client.jl:446
jfptr_YY.1150_15097.1 at C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\share\julia\compiled\v1.11\REPL\u0gqU_hz07T.dll (unknown line)
jl_apply at C:/workdir/src\julia.h:2157 [inlined]
jl_f__call_latest at C:/workdir/src\builtins.c:875
#invokelatest#2 at .\essentials.jl:1055 [inlined]
invokelatest at .\essentials.jl:1052 [inlined]
run_main_repl at .\client.jl:430
repl_main at .\client.jl:567 [inlined]
_start at .\client.jl:541
jfptr__start_75324.1 at C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\lib\julia\sys.dll (unknown line)
jl_apply at C:/workdir/src\julia.h:2157 [inlined]
true_main at C:/workdir/src\jlapi.c:900
jl_repl_entrypoint at C:/workdir/src\jlapi.c:1059
mainCRTStartup at C:/workdir/cli\loader_exe.c:58
BaseThreadInitThunk at C:\WINDOWS\System32\KERNEL32.DLL (unknown line)
RtlUserThreadStart at C:\WINDOWS\SYSTEM32\ntdll.dll (unknown line)
(20,)

Verbose version info for completeness.

julia> versioninfo(verbose = true)
Julia Version 1.11.4
Commit 8561cc3d68 (2025-03-10 11:36 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Windows (x86_64-w64-mingw32)
      Microsoft Windows [Version 10.0.19045.5487]
  CPU: 11th Gen Intel(R) Core(TM) i7-11850H @ 2.50GHz:
                 speed         user         nice          sys         idle          irq
       #1-16  2496 MHz     106704 s          0 s     115660 s    4871498 s       2223 s
  Memory: 31.71001434326172 GB (13346.47265625 MB free)
  Uptime: 1.723182156e6 sec
  Load Avg:  0.0  0.0  0.0
  WORD_SIZE: 64
  LLVM: libLLVM-16.0.6 (ORCJIT, tigerlake)
Threads: 1 default, 0 interactive, 1 GC (on 16 virtual cores)
Environment:
  CCP_HOME = C:\Program Files\Microsoft (R) HPC Pack 2019\
  HOMEDRIVE = C:
  HOMEPATH = \Users\emil.hedevang
  PATH = C:\Program Files\Microsoft (R) HPC Pack 2019\Bin\;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\System32\WindowsPowerShell\v1.0\;C:\WINDOWS\System32\OpenSSH\;C:\Program Files (x86)\dotnet\;C:\Program Files\Git\cmd;C:\Program Files\MATLAB\R2024b\runtime\win64;C:\Program Files\MATLAB\R2024b\bin;C:\Program Files\dotnet\;C:\Program Files\gs\gs9.56.1\bin;C:\Program Files (x86)\Julia-1.11.2\bin;C:\Users\emil.hedevang\AppData\Local\Programs\Python\Python313\Scripts\;C:\Users\emil.hedevang\AppData\Local\Programs\Python\Python313\;C:\Users\emil.hedevang\AppData\Local\Programs\Python\Launcher\;C:\Users\emil.hedevang\AppData\Local\Microsoft\WindowsApps;C:\Users\emil.hedevang\AppData\Local\Programs\Microsoft VS Code\bin;C:\Users\emil.hedevang\Downloads\clang+llvm-18.1.8-x86_64-pc-windows-msvc\bin;;C:\Users\emil.hedevang\AppData\Local\Programs\Julia-1.11.4\bin
  PATHEXT = .COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC
  PSMODULEPATH = C:\Program Files\WindowsPowerShell\Modules;C:\WINDOWS\system32\WindowsPowerShell\v1.0\Modules;C:\Program Files\Microsoft (R) HPC Pack 2019\PowerShell\;C:\Program Files (x86)\Microsoft Azure Information Protection\Powershell
  SSF_LIBRARY_PATH = C:\Program Files (x86)\SAP\FrontEnd\SecureLogin\lib\sapcrypto.dll
  SSF_LIBRARY_PATH_64 = C:\Program Files\SAP\FrontEnd\SecureLogin\lib\sapcrypto.dll

emilhedevang avatar Mar 19 '25 08:03 emilhedevang

Doe sthe same on 1.12 and nightly.

KristofferC avatar Mar 19 '25 11:03 KristofferC

I am seeing something very similar on 11.5 with the function

function all_state_sums(n)
       spin_iter = Iterators.flatten((Iterators.product(((1, -1) for _ = 1:n)...),))
       data = [sum(i) for i in spin_iter]
end

with versioninfo()

Julia Version 1.11.5
Commit 760b2e5b739 (2025-04-14 06:53 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: macOS (arm64-apple-darwin24.0.0)
  CPU: 16 × Apple M4 Max
  WORD_SIZE: 64
  LLVM: libLLVM-16.0.6 (ORCJIT, apple-m1)
Threads: 1 default, 0 interactive, 1 GC (on 12 virtual cores)

henrik-wolf avatar Jun 05 '25 13:06 henrik-wolf

bisected to https://github.com/JuliaLang/julia/pull/52338

adienes avatar Jun 05 '25 18:06 adienes

note that https://github.com/JuliaLang/julia/pull/58522 fixed the second reproducer here (by changing flatten)

adienes avatar Sep 14 '25 20:09 adienes

I just tested it on the freshly released 1.12.0 and I still get the internal error.

emilhedevang avatar Oct 09 '25 20:10 emilhedevang

I just tested it on the freshly released 1.12.1 and I still get the internal error.

emilhedevang avatar Oct 20 '25 13:10 emilhedevang

@emilhedevang this is not something that's likely to be fixed by accident; it will require nontrivial attention from someone with expertise in compiler internals. that is to say, you are likely to continue to get the error for several releases until someone has time to address it.

adienes avatar Oct 20 '25 14:10 adienes

I don't mind getting the error, I just found it natural to follow up on it as new releases are being made. If this creates undesirable noise, just let me know and I'll stop.

emilhedevang avatar Oct 20 '25 14:10 emilhedevang