From 5588808852a2fd379be0e9c01cf67cfdcbcdd4c3 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Thu, 18 Jan 2024 19:02:16 -0600
Subject: Prepare to output non-single-expr messages.

---
 migrations/20240118234708_init_discocaml.sql | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 migrations/20240118234708_init_discocaml.sql

(limited to 'migrations')

diff --git a/migrations/20240118234708_init_discocaml.sql b/migrations/20240118234708_init_discocaml.sql
new file mode 100644
index 0000000..adce26a
--- /dev/null
+++ b/migrations/20240118234708_init_discocaml.sql
@@ -0,0 +1,7 @@
+-- We're just storing a map between interaction IDs and the expression at the
+-- time. If we ever get theorem proving support, this'll probably need to be
+-- extended... That, or we just have another table for the context?
+CREATE TABLE IF NOT EXISTS discocaml_exprs
+  ( interaction_id INTEGER PRIMARY KEY
+  , expr TEXT NOT NULL
+  );
-- 
cgit v1.2.3