jvm.tools.analyzer documentation?

[Di Xu]

Hi

core.typed uses jvm.tools.analyzer internally, but I failed to find any documentation or material describe the output format. Is there any?

Thanks

[Ambrose Bonnaire-Sergeant]

Hi Di,

Not really. Here's some outdated core.typed types describing the output. Otherwise you need to trace the output from this multimethod.

I'm porting core.typed to use tools.analyzer.jvm instead. It's getting there, I have 16 unit tests failing. FWIW I'm sketching the output format for tools.analyzer.jvm here.

Thanks,

Ambrose

[Di Xu]

OK, Thanks

I'm just reading the code of `check-funapp` in check.clj, just need some reference. From diff, master and tools-analyzer don't have any diff in check-funapp, so I'm better read code in master.

[Ambrose Bonnaire-Sergeant]

Yea check-funapp works with TCResults, which is the result of type checking an AST expression. It won't change with the port to tools.analyzer.

Ambrose