updates

diff --git a/00-TODO b/00-TODO
index 8c9ad7817c1fe8a4852999b10aef5a53b6f1fa4b..07109022d2e0f211d313d8b316beede85e7c32db 100644 (file)
--- a/00-TODO
+++ b/00-TODO
@@ -4,7 +4,6 @@
 
 ### Current version (Cataract Creek)
 
 
 ### Current version (Cataract Creek)
 

-- remove all UNTESTED

 - use AddressOf instead of AssignRef
 - revise all commentary
 - blog post
 - use AddressOf instead of AssignRef
 - revise all commentary
 - blog post


@@ -53,6 +52,7 @@
 - 'then' can extend a case section into some other.
 
 ## Needs Design
 - 'then' can extend a case section into some other.
 
 ## Needs Design

+- review {} syntax issues - look at weird test cases

 - do I need a 'rune' type? What are the elements of a string?
   Are they small strings?  Can I convert to codepoint by treating as number?
   How much of this is in the utf8 library?  Can a string literal be a number?
 - do I need a 'rune' type? What are the elements of a string?
   Are they small strings?  Can I convert to codepoint by treating as number?
   How much of this is in the utf8 library?  Can a string literal be a number?

diff --git a/Diary b/Diary
index c6afd1b9b78ce67b12da83f1b36dc75f69b1bb69..01621252d6c44b84241010d0afa23dca876411fd 100644 (file)
--- a/Diary
+++ b/Diary
@@ -151,3 +151,15 @@ And a size in bytes?
  I could assign sequence numbers to scopes and store start/end
  I want to do a depth-first walk of the scope tree, and reset the
  offset as I step up.
  I could assign sequence numbers to scopes and store start/end
  I want to do a depth-first walk of the scope tree, and reset the
  offset as I step up.

+
+13dec2021
+ propagate_types() returns a type, but this isn't really enough.
+ It also receives and sets flags, but these are confused.
+ We need to know:
+  - was there an error - should be give up
+  - was there progress - should we try again
+  - Is Bool a valid alternative to 'type' - attribute of type passed in
+  - Is value and lval - or constlval - attribute of type returned
+  - Can value be calculated at compile time - attribute of type returned.
+  - Can value be memcopied - will be freed if not used. ?? attribute of type returned.
+  -