Commit Graph

7 Commits

Author SHA1 Message Date
Arthur Baars
a6ec51a951 Rust: update expected output 2024-12-18 13:00:14 +01:00
Paolo Tranquilli
db18d1046b Rust: rename getTy -> getTypeRepr 2024-12-03 11:17:08 +01:00
Paolo Tranquilli
8287cdd7b3 Rust: accept test changes 2024-12-03 11:01:05 +01:00
Paolo Tranquilli
e89cf303e7 Rust: rename TypeRef -> TypeRepr 2024-12-02 17:58:40 +01:00
Paolo Tranquilli
2a7ce9a0ab Rust: accept all test changes 2024-12-02 12:06:51 +01:00
Paolo Tranquilli
6776b31c0d Rust: tweak PathType string representations and add one for InferType 2024-11-21 15:27:34 +01:00
Paolo Tranquilli
5012332bb2 Rust: fix Path.toString and address some review comments 2024-11-21 11:13:06 +01:00