Valentin Churavy

They already are! There is just a bug in Base (recently merged a PR that fixed it) that hides the line-information. On Mon, Feb 4, 2019, 23:44 Chris Foster No...

We should still print the linfo for the method we are currently in. I often miss that information

The unassigned type-parameter we can check in Cthulhu, but Keno started to add a remarks framework to base in https://github.com/JuliaLang/julia/pull/31000 which would have helped with the recursion heuristic limiter.

For checking unassigned type-parameters we can mirror CUDANative https://github.com/JuliaGPU/CUDAnative.jl/pull/382

I think we still need an interface to export the inference remarks https://github.com/JuliaDebug/Cthulhu.jl/blob/e1e5ac6ba378950ef69f203f14ac534833a44452/src/interpreter.jl#L60

In a related fashion it would be ideal to combine that with a service that would automatically pick up a new tag an push that to the registry. For Enzyme...

So this works for LaMEM: ``` using CompilerSupportLibraries_jll using OpenBLAS32_jll using MicrosoftMPI_jll using Libdl petsc_dir = "C:\\users\\vchuravy\\.julia\\artifacts\\07bd2b9204a513e590d6e8b7f2cab8e01f2bef0f" libpetsc = joinpath(petsc_dir, "bin", "petsc", "double_real_Int32", "lib", "libpetsc_double_real_Int32.dll") libpetsc2 = "libpetsc.dll.3.16.5" cp(libpetsc, libpetsc2,...

Ah great we can also do logs extraction to create warnings https://buildkite.com/docs/agent/v3/cli-annotate

> It'd be nice to disable it until this is working Done.

So the current failure is real and I don't know why and how. `ERROR: LoadError: failed process: Process(`git merge-base --fork-point remotes/origin/master HEAD`, ProcessExited(1)) [1]` It seems to occur always when...