1

I've been looking into ConstraintSystem in Sema lately, and notice that it has DebugConstraintSolver in Context's LangOptions.

How do I enable it? How do I fetch the debug data once it's enabled?

I've compiled it using swift/utils/build-script -R --debug-swift.

2

Try: swift -frontend -typecheck -debug-constraints.
There may be a shorter invocation, but I don't know one.

2 Likes
3

Thanks! Works like charm.

4

For the record, I found a (slightly) shorter one when compiling here.

swiftc -Xfrontend -debug-constraints