distribution should include typecheck_main

[proppy]

nightly release should include typecheck_main, currently it only includes:

xls-v0.0.0-9692-g5cc490018-linux-x64/
xls-v0.0.0-9692-g5cc490018-linux-x64/ir_converter_main
xls-v0.0.0-9692-g5cc490018-linux-x64/dslx_ls
xls-v0.0.0-9692-g5cc490018-linux-x64/dslx_fmt
xls-v0.0.0-9692-g5cc490018-linux-x64/prove_quickcheck_main
xls-v0.0.0-9692-g5cc490018-linux-x64/proto_to_dslx_main
xls-v0.0.0-9692-g5cc490018-linux-x64/THIRD_PARTY_NOTICES.txt
xls-v0.0.0-9692-g5cc490018-linux-x64/xls
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/round.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/acm_random.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/apfloat.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/fixed_point.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/std.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/hfloat16.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/float32.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/bfloat16.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/abs_diff.x
xls-v0.0.0-9692-g5cc490018-linux-x64/xls/dslx/stdlib/float64.x
xls-v0.0.0-9692-g5cc490018-linux-x64/interpreter_main
xls-v0.0.0-9692-g5cc490018-linux-x64/codegen_main
xls-v0.0.0-9692-g5cc490018-linux-x64/LICENSE
xls-v0.0.0-9692-g5cc490018-linux-x64/opt_main

[mikex-oss]

@proppy typecheck_main isn't part of the core XLS toolchain (https://github.com/google/xls/blob/main/xls/build_rules/xls_toolchains.bzl) ... is there a reason to call it out for inclusion versus some of the other ones that are missing? It seems like a standalone utility helpful for dumping module type info as a proto.

In particular, parse_and_typecheck_dslx_main is on the load-bearing path used within xls_dslx_library, so that one seems more critical for the release distribution:

xls/xls/build_rules/xls_dslx_rules.bzl

Line 470 in a1c2002

dicts.pick(xls_toolchain_attrs, ["_xls_dslx_parse_and_typecheck_tool"]),

[proppy]

Sorry for the lack of context, this came up when I found out that @cdleary had a dependency on it thru https://github.com/xlsynth/dslx-llm, but I'm sure it would work with parse_and_typecheck_dslx_main too.