From 37f3e91f6c95d46f161dbde05b0a005fe7e7c17a Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 7 Dec 2024 16:04:25 -0500
Subject: Rename "NONE" to "none"

---
 typecheck.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index 64660f09..4cdc683d 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -520,7 +520,7 @@ type_t *get_type(env_t *env, ast_t *ast)
             return Type(OptionalType, .type=NULL);
         type_t *t = parse_type_ast(env, Match(ast, None)->type);
         if (t->tag == OptionalType)
-            code_err(ast, "Nested optional types are not supported. This should be: `NONE:%T`", Match(t, OptionalType)->type);
+            code_err(ast, "Nested optional types are not supported. This should be: `none:%T`", Match(t, OptionalType)->type);
         return Type(OptionalType, .type=t);
     }
     case Bool: {
-- 
cgit v1.2.3