Remove unused EmptyTuple variant from FlatType enum

This commit is contained in:
JRI98 2024-10-22 16:29:53 +01:00
parent fe029c85b6
commit edd0bb553d
No known key found for this signature in database
GPG key ID: F83B29916FF13F24
22 changed files with 34 additions and 111 deletions

View file

@ -221,9 +221,6 @@ export default function DrawHeadConstructor({
case "EmptyRecord": {
return <>{"{}"}</>;
}
case "EmptyTuple": {
return <>()</>;
}
case "EmptyTagUnion": {
return <>[]</>;
}

View file

@ -56,8 +56,6 @@ export function contentStyles(desc: TypeDescriptor | undefined): ContentStyles {
return { name: "", bg: "bg-lime-400" };
case "EmptyRecord":
return { name: "{}", bg: "bg-purple-400" };
case "EmptyTuple":
return { name: "()", bg: "bg-deep-purple-400" };
case "EmptyTagUnion":
return { name: "[]", bg: "bg-cyan-200" };
case "Error":

View file

@ -251,7 +251,6 @@ function VariableNodeContent(
return {};
}
case "EmptyRecord":
case "EmptyTuple":
case "EmptyTagUnion":
case "Error": {
return {};