<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Thanks to Fariborz suggestion that I write a unit test I discovered that clang was not emitting the type signature information for <b>global</b> blocks.<div><br></div><div>While there I renamed his "types" field internally to "signature" to reflect its more natural name which I will be using in the runtime.</div><div><br></div><div>More significantly, I realized that we can recover the unused-by-the-runtime (1<<29) bit now that unconditionally mark (1<<30). This will enable the compiler to (re)use that bit sometime in the future.</div><div><br></div><div>Test "blocksignature.c" attached.</div><div><br></div><div></div></body></html>