M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 5
Code Issues 87 Pull Requests 5 Releases Wiki Activity

core: Deduplicate values in `Literal` 

Matches the behavior with `typing.Literal`.
This commit is contained in:
David Mak 2023-12-15 12:26:43 +08:00 committed by sb10q
parent 457d3b6cd7
commit 0bbc9ce6f5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nac3core/src/typecheck/typedef/mod.rs
View File

@ -388,7 +388,7 @@ impl Unifier {
loc: Option<Location>, loc: Option<Location>,
) -> Type { ) -> Type {
let ty_enum = TypeEnum::TLiteral { let ty_enum = TypeEnum::TLiteral {
values: values.clone(), values: values.into_iter().dedup().collect(),
loc loc
}; };
self.add_ty(ty_enum) self.add_ty(ty_enum)