From 23fa23b7c06d0cf36b3ce53e377e0789d40c56ff Mon Sep 17 00:00:00 2001 From: Benjie Gillam Date: Wed, 4 Oct 2023 16:24:57 +0100 Subject: [PATCH] Remove duplicate coercion for brevity --- spec/Section 3 -- Type System.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/spec/Section 3 -- Type System.md b/spec/Section 3 -- Type System.md index e0fba0751..beee413ae 100644 --- a/spec/Section 3 -- Type System.md +++ b/spec/Section 3 -- Type System.md @@ -1949,10 +1949,6 @@ Following are examples of result coercion with various types and values: | Expected Type | Internal Value | Coerced Result | | ------------- | --------------- | ------------------------------------------- | -| `[Int]` | `[1, 2, 3]` | `[1, 2, 3]` | -| `[Int]` | `null` | `null` | -| `[Int]` | `[1, 2, null]` | `[1, 2, null]` | -| `[Int]` | `[1, 2, Error]` | `[1, 2, null]` (With logged error) | | `[Int]*` | `[1, 2, 3]` | `[1, 2, 3]` | | `[Int]*` | `null` | `null` (With logged coercion error) | | `[Int]*` | `[1, 2, null]` | `[1, 2, null]` |