Valentin Churavy

It would be nice to add macros in the style of http://slick.typesafe.com/doc/1.0.0/direct-embedding.html so that the migration engine can infer what kinds of constraints we would like to have on the...

Types are by the way part of the SQL2003 standard, http://farrago.sourceforge.net/design/UserDefinedTypesAndRoutines.html and is supported by the jdbc drivers. http://docs.oracle.com/javase/tutorial/jdbc/basics/sqltypes.html

> Can Enzyme not handle captured variables or is that fixed on some branch? That should be fixed nowadays. (Except that this doesn't work on the GPU).

@nanosoldier `runtests(ALL, vs = ":master", buildflags=["LLVM_ASSERTIONS=1", "FORCE_ASSERTIONS=1"], vs_buildflags=["LLVM_ASSERTIONS=1", "FORCE_ASSERTIONS=1"])`

@nanosoldier `runbenchmarks(!"scalar", vs=":master")`

With the performance regression that nanosoldier sees it might be better to have a flag that turns this on?

> There is a flag (JL_USE_NEW_PM) that can be used to disable new PM. I was thinking a runtime flag not a compile time flag so that's easy to switch,...

Seems: ``` Instruction does not dominate all uses! %3506 = load atomic {} addrspace(10)*, {} addrspace(10)* addrspace(11)* %3505 unordered, align 8, !dbg !959, !tbaa !16, !nonnull !6, !dereferenceable !22, !align...

Very exciting! This sounds very close to what @timholy and I proposed in https://github.com/JuliaLang/julia/pull/44527 Maybe it would make sense to have a meeting together with @ianatol to discuss the best...

@nanosoldier `runtests(ALL, vs = ":master", buildflags=["LLVM_ASSERTIONS=1", "FORCE_ASSERTIONS=1"], vs_buildflags=["LLVM_ASSERTIONS=1", "FORCE_ASSERTIONS=1"])`