From 133ebcf8e5753eadd8a544eb6d5ff44e8f7ca9cc Mon Sep 17 00:00:00 2001 From: John Kerl Date: Tue, 25 Oct 2016 07:44:05 -0400 Subject: [PATCH] todo --- c/todo.txt | 24 +++--------------------- 1 file changed, 3 insertions(+), 21 deletions(-) diff --git a/c/todo.txt b/c/todo.txt index 2f51e0d7c..4a0c3521e 100644 --- a/c/todo.txt +++ b/c/todo.txt @@ -28,28 +28,8 @@ FUNCTIONALITY FOR 4.6.0: ---------------------------------------------------------------- STRICTNESS: -k assert_X() - ! disallow subsequent localdefs of the same name in the same block -* strict types: bool x, int x, float x, num x, string x, map x. - i only applies to locals/parameters/forbinds - i the only time they're changed is at LHS/varbind/argpass: all via local_stack_frame_set - k RHS evals are as always - ! string mask MT_STRING | MT_EMPTY ? - - everywhere there is the 'local' keyword we need to handle the others as well - - local_stack slots need an acceptable-types bitmask and a funcptr to test. use at local_stack_frame_set. - - need varnames back into the CST nodes - - wording: - int type assertion for parameter x unmet by argument "3" with type string. - int type assertion for variable x unmet by value "3" with type string. - ! impl for param/arg - ? allow typedecls in forsrec/foroosvar boundvar specs ? - * UT cases x all - * new mld section - * impl assertions also as subr calls (don't require assign). entire new category: non-user-defined subrs. to mld. - * needs minimally the variable name preserved. additionally ... line numbers; stack trace ... - ---------------------------------------------------------------- MAPVARS: @@ -87,6 +67,7 @@ MAPVARS: UT FOR 4.6.0: * all assert_X() cases +* all type-decl cases: local/forbind/argpass; initial assign & reuse thereafter. ================================================================ HYGIENE FOR 4.6.0: @@ -98,7 +79,8 @@ DOC FOR 4.6.0: TYPE-CHECKING: * assert_X() functions -* mlr -k re present numeric int float boolean string +* type-decl for local/forbind/argpass; applies to reassigns +* mlr -k re numeric int float boolean string * make a separate mld section OOSVAR SINGLE FOR: