| ... | ... | @@ -416,8 +416,12 @@ pub fn print( |
| 416 | 416 | const key = mod.intern_pool.indexToKey(val.ip_index); |
| 417 | 417 | if (key.typeOf() == .type_type) { |
| 418 | 418 | return Type.print(val.toType(), writer, mod); |
| 419 | | } else { |
| 420 | | return writer.print("{}", .{val.ip_index}); |
| 419 | } |
| 420 | switch (key) { |
| 421 | .int => |int| switch (int.storage) { |
| 422 | inline .u64, .i64, .big_int => |x| return writer.print("{}", .{x}), |
| 423 | }, |
| 424 | else => return writer.print("{}", .{val.ip_index}), |
| 421 | 425 | } |
| 422 | 426 | }, |
| 423 | 427 | }; |