From e416179a7995255813a471a037922ab0a1798a9f Mon Sep 17 00:00:00 2001 From: Glen Date: Tue, 17 Dec 2024 15:01:29 +0200 Subject: [PATCH] Change `SameOutputTypeShape` to `SameTypeShape` (#64) --- 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**