From 93a10aa64f7e708150ec1c35ced6b65b50b04ae8 Mon Sep 17 00:00:00 2001 From: Glen Date: Mon, 9 Dec 2024 11:59:32 +0200 Subject: [PATCH] Change `SameOutputTypeShape` to `SameTypeShape` --- spec/Section 4 -- Composition.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/Section 4 -- Composition.md b/spec/Section 4 -- Composition.md index 09e5e4b..4a18fd3 100644 --- a/spec/Section 4 -- Composition.md +++ b/spec/Section 4 -- Composition.md @@ -149,7 +149,7 @@ FieldsAreMergeable(fields): - Given each pair of members {fieldA} and {fieldB} in {fields}: - Let {typeA} be the type of {fieldA} - Let {typeB} be the type of {fieldB} - - {SameOutputTypeShape(typeA, typeB)} must be true. + - {SameTypeShape(typeA, typeB)} must be true. **Explanatory Text**