X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=TODO;h=f3a76509efaf4b98146c55f2f00f751727ba933c;hb=3fc9a3298c032eb544923776d16e069c630c94ab;hp=945d71a3579016b1fafcdb3be9154d08dfce01ed;hpb=5e13f1e2a3dc1237fcf2fa141d8379bdd36bde61;p=goals.git

diff --git a/TODO b/TODO
index 945d71a..f3a7650 100644
--- a/TODO
+++ b/TODO
@@ -39,4 +39,21 @@ but it evaluates the output of a function as Goalfile syntax).
 
 Implement make-like “origin” function.  This is easy but it requires
 us to track to the origin of definitions which we do not do at
-the moment.
\ No newline at end of file
+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.
+
+Limit parallelism within the Goalfile (like make's .NOPARALLEL),
+something like ‘let max_jobs = 8’
+
+Hash table structure.