X-Git-Url: https://ocean-lang.org/code/?p=ocean-D;a=blobdiff_plain;f=Diary;h=01621252d6c44b84241010d0afa23dca876411fd;hp=c6afd1b9b78ce67b12da83f1b36dc75f69b1bb69;hb=HEAD;hpb=7805ff3546f5656ecf55787f58c83f030f953b67

diff --git a/Diary b/Diary
index c6afd1b..0162125 100644
--- 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.
+  -