ellnix / coctus

0 stars 0 forks source link

Add types to JoinTerms #30

Closed daxida closed 5 months ago

daxida commented 6 months ago

We need types for writing WriteJoin commands in C.

I quickly hacked something in parser.rs and tested it. Picture below.

The code itself for adding the types is not ideal and I would like to have your opinion before proceeding.

image

Also:

Edit: For the moment it can be tested with this handmade clash (but ideally this should be standard and accessible through gen --debug or sth):

cargo run fetch 90435e82d1d5e3fe5f9d3dd813770f0d5a7d2
cargo run next 90435e82d1d5e3fe5f9d3dd813770f0d5a7d2
cargo run gen c