From b34c5c57740bd819551d74554533931e89d3caf0 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 17 Feb 2024 20:07:04 -0500
Subject: Fix up doctests

---
 typecheck.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index a44c60b1..33e2b122 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -92,6 +92,10 @@ type_t *get_math_type(env_t *env, ast_t *ast, type_t *lhs_t, type_t *rhs_t)
 void bind_statement(env_t *env, ast_t *statement)
 {
     switch (statement->tag) {
+    case DocTest: {
+        bind_statement(env, Match(statement, DocTest)->expr);
+        break;
+    }
     case Declare: {
         auto decl = Match(statement, Declare);
         type_t *type = get_type(env, decl->value);
-- 
cgit v1.2.3