This commit is contained in:
Anton-4 2024-07-09 13:55:39 +02:00
parent 7180a93273
commit 4341c37b99
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937

View file

@ -327,8 +327,6 @@ pub(crate) fn canonicalize_annotation(
AnnotationFor::Opaque => CanPolarity::InOpaque,
};
//dbg!("111");
let typ = can_annotation_help(
env,
pol,
@ -341,8 +339,6 @@ pub(crate) fn canonicalize_annotation(
&mut references,
);
//dbg!(&typ);
Annotation {
typ,
introduced_variables,
@ -959,10 +955,6 @@ fn can_annotation_help(
}
}
TagUnion { tags, ext, .. } => {
//dbg!(tags);
//dbg!(ext);
let (ext_type, is_implicit_openness) = can_extension_type(
env,
pol,
@ -975,25 +967,7 @@ fn can_annotation_help(
roc_problem::can::ExtensionTypeKind::TagUnion,
);
//dbg!(&ext_type);
//dbg!(is_implicit_openness);
if tags.is_empty() {
//dbg!("emptyy");
/*match ext {
Some(_) => {
// just `a` does not mean the same as `[]`, so even
// if there are no fields, still make this a `TagUnion`,
// not an EmptyTagUnion
Type::TagUnion(
Default::default(),
TypeExtension::from_type(ext_type, is_implicit_openness),
)
}
None => Type::EmptyTagUnion,
}*/
Type::TagUnion(
Default::default(),
TypeExtension::from_type(ext_type, is_implicit_openness),