Merge pull request #2 from Rigidity/fix-mistake

Rigidity · web-flow · commit ab70eb3d9c55 · 2024-08-04T00:04:12.000-04:00
Fix mistake
diff --git a/docs/types/type-checking.md b/docs/types/type-checking.md
@@ -112,10 +112,9 @@ To achieve this, you can write your own recursive function to check instead:
 
 ```rue
 fun is_int_list(value: Any) -> Bool {
-    match value {
-        (Int, Any) => is_int_list(value.rest),
-        nil => true,
-        _ => false,
+    if value is Bytes {
+        return value == nil;
     }
+    value.first is Int && is_int_list(value.rest)
 }
 ```

Original file line number	Diff line number	Diff line change
`@@ -112,10 +112,9 @@ To achieve this, you can write your own recursive function to check instead:`
`112`	`112`
`113`	`113`	```rue
`114`	`114`	`fun is_int_list(value: Any) -> Bool {`
`115`		`- match value {`
`116`		`- (Int, Any) => is_int_list(value.rest),`
`117`		`- nil => true,`
`118`		`- _ => false,`
	`115`	`+ if value is Bytes {`
	`116`	`+ return value == nil;`
`119`	`117`	`}`
	`118`	`+ value.first is Int && is_int_list(value.rest)`
`120`	`119`	`}`
`121`	`120`	```