updates

[ocean-D] / Diary

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.
+
+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.
+  -