(
&mut self,
id: TypeId,
ty: &Record,
operands: &[String],
results: &mut Vec<String>,
)
| 123 | } |
| 124 | |
| 125 | fn record_lift( |
| 126 | &mut self, |
| 127 | id: TypeId, |
| 128 | ty: &Record, |
| 129 | operands: &[String], |
| 130 | results: &mut Vec<String>, |
| 131 | ) { |
| 132 | let mut result = self.typename_lift(id); |
| 133 | result.push_str("{\n"); |
| 134 | for (field, val) in ty.fields.iter().zip(operands) { |
| 135 | result.push_str(&to_rust_ident(&field.name)); |
| 136 | result.push_str(": "); |
| 137 | result.push_str(val); |
| 138 | result.push_str(",\n"); |
| 139 | } |
| 140 | result.push('}'); |
| 141 | results.push(result); |
| 142 | } |
| 143 | |
| 144 | fn tuple_lower(&mut self, tuple: &Tuple, operand: &str, results: &mut Vec<String>) { |
| 145 | let tmp = self.tmp(); |
no test coverage detected