From acd025579097fa819c23382f00103d4760165993 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 28 Jan 2020 10:49:34 +0000
Subject: [PATCH] Update TODO.

---
 TODO | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/TODO b/TODO
index 9977889..d620a98 100644
--- a/TODO
+++ b/TODO
@@ -44,3 +44,11 @@ the moment.
 Some kind of “source” directive.  If goals sees this then
 it automatically sources the parameter (a shell script) into
 every shell command.
+
+Allow code sections to be written in other languages, eg OCaml,
+Python, etc.  The syntax might look like:
+  {#!OCAML
+    ocaml code
+  }
+Also provide better integration, so we can accurately pass predicate
+constructors into these other language sections.
-- 
1.8.3.1