X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=TODO;h=f3a76509efaf4b98146c55f2f00f751727ba933c;hb=4f3f374e059fd46d40f3058c4e65e63aa4ac56cb;hp=9977889aed4eb47a09b568db0348b9c14d78560f;hpb=d074bf27894063d80f03b26f229cf23647dd9dd1;p=goals.git diff --git a/TODO b/TODO index 9977889..f3a7650 100644 --- a/TODO +++ b/TODO @@ -44,3 +44,16 @@ 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.