X-Git-Url: https://ocean-lang.org/code/?p=ocean-D;a=blobdiff_plain;f=00-TODO;h=8c0efc77bafe710ae709f0a582f47232ed876ca7;hp=b89cc9f36d96dad4b219005414e5bf2794dee200;hb=6830d7faa83def1431a9f5a981c008eeb272a5f6;hpb=4cdd68c1e0a2b774c04bb251ad788ccfd958660e

diff --git a/00-TODO b/00-TODO
index b89cc9f..8c0efc7 100644
--- a/00-TODO
+++ b/00-TODO
@@ -1,19 +1,13 @@
 This is a living document - delete things when done.  Avoid discussion.
 
-NOW:
- - handle free_type more cleanly??
- - rethink line-like parsing.  Should element also start a line?
- - review simple/complex parsing options in various situations
-
-Current version (Jamison Creek)
- - clean up
-
-Next version ??
-- spaces in numbers
-- # not comment?? - automatic if used as a mark.
-- can I move 'ok' into the parse context?  Then error functions can set it.
-- allow something so I don't need to call config2context so often
-  Some code stanza to be added to do_reduce()
+Current version (Cataract Creek)
+- Warn when left-recursive symbols appear elsewhere, other than at the end
+  of a production.  Might have to special-case Newlines.
+- parser not to get into ERROR infinite loop
+- sort 'virtual' symbols to end
+- allow $xy instead of $3.  Chooses shortest bodysym with xy in that order
+    $xy_2 gives the second one
+- allow $TERM terminals to be listed.  If so, extras are errors
 - structs
    - const fields
    - anonymous field - array or struct (or pointer to these)
@@ -21,33 +15,68 @@ Next version ??
    - [] can apply to anon array field
    - anon struct field gets fields interpolated
 
-- change 'labels' to only be created for 'use'
-- handle syntax errors better - recover quickly.
 - manifest values for arrays and structs [a,b,c]
+    or [.foo=a, .bar=b] or [ [1]=a, [2]=b]
+   That last doesn't parse easily, unless we require tags... not a good idea.
+   [ .[1] = a, .[2] = b ] ?? Maybe.
 - yet more operators
      << >> #
      bit-ops & | ~ &~
      op=
 - split values so I can have an array of just the value (1 byte for u8)
-- integers, unsigned, bitfield, float
+- integers, unsigned, bitfield, float, double?
 - pointers
    - owned or borrowed
-   - overloaded or pure
+   - pure, loaded, overloaded, augmented
+   - owned: once, counted, collected
+   - shared or thread-local
 - array slice
 - array buffer - can be added to and grows.
 - char, string search, regexp search
 
-- allow "do stuff" as a stand-allow statement (scope)
+- allow "do stuff" as a stand-alone statement (scope)
+- 'use' labels *must* appear in case statements.
+- re-read parsergen lit-doc and make sure it is still coherent.
 
+Next version (Govetts Creek):
+- functions and procedures
+- Finalize what a "main" program looks like.
 
 Much later
-- functions and procedures
 - per-field attributes
+    constant, stable, add-only, read-only, mutable, owned, borrowed, dependant, pure
 - records
 - enum
 - classes
+   - constructors and destructors - or "after" ??
+   - vtables, fat pointers, list of approaches
 - operators as interface methods
 - interfaces, inheritance
 - modules, imports and exports
-- closures, threads, co-routines
-- introspection?
+- closures, threads, co-routines, generators
+- introspection / reflection ?
+      e.g. support serialization
+      find function given a string holding the name
+      measure coverage, adjust based on performance metrics
+      auto-create mock objects
+      Is this just parsing the details in the obj file?
+- % formatting
+- string / slice / strbuf
+- parsing library - sscanf equiv, regexp, LALR
+- FFI
+- GTK
+- sockets / http / HTML
+- parameterised types, and dependant types
+- message passing primitives
+- overloading for numbers
+- exceptions ??
+- ensure list_head type concept can work
+- "union" type ??
+- pattern matching for destructuring??
+- casts??
+- typeswitch?
+- iso suffixes for number?
+- foreach?
+- case fall-through or go-to
+- break/continue or "next","last"
+- algebraic types