Ondřej Čertík

This looks good, great job! Can you send this against the simplifier also? We need to ensure it doesn't break things there.

I rebased everything to get the latest CI tests.

@kmr-srbh if this is ready to be merged, then go ahead and merge it.

@wolfv let me know if the changes look good.

@Pranavchiku I would like to test pixi, and maybe eventually move most of our testing to it.

The ASR of the `StructType` ttype should be changed as follow: ```diff --- a/src/libasr/ASR.asdl +++ b/src/libasr/ASR.asdl @@ -193,7 +193,7 @@ ttype | Set(ttype type) | List(ttype type) | Tuple(ttype* type)...

The most current design so far: * in C++ we have a full spectrum from C-style struct (trivially copyable, etc.) to a full-blown C++ class with a virtual function table,...

The `ttype` is never enough to completely resolve all type errors, since different front end languages have different requirements. A minimal design that we used so far is not to...

TODO I: * [ ] `Struct` has to have a `ttype` (`StructType`), just like `Function`, `Enum`, `Variable` has. * [ ] Remove `symbol derived_type` from `StructType` #5791 TODO II: *...

TODO III: * [x] Remove ClassType, use the `is_cstruct` in `Struct` to determine if this is a C struct, or a class. #7469