From 4ce1db1a23db332cdb72a39def722c0392d5b884 Mon Sep 17 00:00:00 2001 From: NeilBrown Date: Sat, 18 Dec 2021 22:01:43 +1100 Subject: [PATCH] updates --- 00-TODO | 2 +- Diary | 12 ++++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/00-TODO b/00-TODO index 8c9ad78..0710902 100644 --- a/00-TODO +++ b/00-TODO @@ -4,7 +4,6 @@ ### Current version (Cataract Creek) -- remove all UNTESTED - 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 +- 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? 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. + - -- 2.43.0