language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add some comments

Browse source
This commit is contained in:
Richard Feldman 2022-08-07 00:32:52 -04:00
parent f644c8ac50
commit 484cc582fc
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/glue/src/rust_glue.rs
View file

@ -388,7 +388,7 @@ fn add_tag_union(
target_info: TargetInfo, target_info: TargetInfo,
type_id: TypeId, type_id: TypeId,
tags: &[(String, Option<TypeId>)], tags: &[(String, Option<TypeId>)],
null_tag_index: Option<usize>, null_tag_index: Option<usize>, // used only in the nullable-wrapped case
discriminant_size: u32, discriminant_size: u32,
discriminant_offset: u32, discriminant_offset: u32,
types: &Types, types: &Types,
@ -891,6 +891,10 @@ pub struct {name} {{
&discriminant_name, &discriminant_name,
&mut drop_payload, &mut drop_payload,
|_index, tag_name, opt_payload_id| { |_index, tag_name, opt_payload_id| {
// Note: we don't need to check Some(tag_index) != null_tag_index
// because the null tag is guaranteed to have no payload,
// and so it will already be handled correctly by the logic of
// "don't drop it if it has no payload."
match opt_payload_id { match opt_payload_id {
Some(payload_id) if cannot_derive_copy(types.get_type(payload_id), types) => { Some(payload_id) if cannot_derive_copy(types.get_type(payload_id), types) => {
format!("unsafe {{ core::mem::ManuallyDrop::drop(&mut {actual_self_mut}.{tag_name}) }},",) format!("unsafe {{ core::mem::ManuallyDrop::drop(&mut {actual_self_mut}.{tag_name}) }},",)