From 64362ab403c9ba3712f46dee45b0b184fc70dfdd Mon Sep 17 00:00:00 2001
From: Chris Pressey <cpressey@catseye.tc>
Date: Tue, 15 Feb 2022 12:18:18 +0000
Subject: [PATCH] Ah yes.  You have to remember to upcast a lot in this
 language.

---
 tests/Castile.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/Castile.md b/tests/Castile.md
index 428d856..63c2f8a 100644
--- a/tests/Castile.md
+++ b/tests/Castile.md
@@ -1272,7 +1272,7 @@ is accomplished.
     |   make list(value:v, next:null as list|void)
     | }
     | 
-    | len : list|void -> integer
+    | length : list|void -> integer
     | fun length(l: list|void) {
     |   typecase l is void { return 0 }
     |   typecase l is list { return 1 + length(l.next) }
@@ -1297,15 +1297,15 @@ is accomplished.
     |   make list(value:v, next:null as list|void)
     | }
     | 
-    | len : list|void -> integer
+    | length : list|void -> integer
     | fun length(l: list|void) {
     |   typecase l is void { return 0 }
     |   typecase l is list { return 1 + length(l.next) }
     | }
     | 
     | fun main() {
-    |   l = make list(value:"first", next:null);
-    |   print(str(length(l)));
+    |   l = make list(value:"first", next:null as list|void);
+    |   print(str(length(l as list|void)));
     | }
     ? make