diff options
Diffstat (limited to 'typecheck.c')
| -rw-r--r-- | typecheck.c | 2 |
1 files changed, 1 insertions, 1 deletions
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: { |