Multiple rhs (#23)

* notes

* more hacking

* more hacking

* more argh

* hackikng away

* stuff

* start rewriting all pattern matching

* pattern match rewrite almost done

* pattern match rewrite passes the first test

* codegen for multiple rhs passes first test

* note another bug

* note codegen after parse unit

* getting closer

* next multidef example works

* make later defs local to main def

to avoid top level mutual recursion

* multiple defs test case three works

* add some tests

* detect redefinition across parse units

* case three works

* fix up filemodel merge

* fix access to nested structs

* more debugging

* omg fixed pattern defs

* more fixes

* fix local multiple defs

* tiny

* fix Vector ++ Image

* fix Image op Vector

* add more tests for multiple RHS

* ready for 9.0.14 release

* fix date

Author: jcupitt

TODO

@@ -4,35 +4,22 @@
 
     things like max heap size should be settable ... maybe pres are useful?
 
-- add multiple definitions, finish function argument destructuring
+- lcomps leave stray unreffed symbols in "list unresolved"
 
-    sym has a field for "next definition", initially NULL
+    Image_transform_item.Resize_item.Size_within_item.action.within ($SAVEDIR/start/Image.def:509)  refers to undefined symbol h
+    Image_transform_item.Resize_item.Size_within_item.action.within ($SAVEDIR/start/Image.def:509)  refers to undefined symbol w
 
-`   add_defining looks for an existing sym with this name, if it finds
-    one, add a new sym called "{name}-$$4" or whatever
+- rework pattern matching in lcomps
 
-    chase to the end of "next definition" on the existing sym, append our
-    new sym
+- what does the programming window do for multiple defs?
 
-    during compile, generate code like
+    probably need to follow next_def and concatenate them all
 
-        fred a b c
-            = destructured_fred, args_match
-            = fred-$$1 a b c
-        {
-            destructured_fred = rhs of fred
-            args_match = a_matches && b_matches && c_matches
-        }
-
-    if a func has many RHS and the last RHS uses destrucuring, generate a
-    final def with
+- dir should hide $$vars
 
-        fred a b c
-            = error "no def of fred matches args a b c";
+- programming window is showing generated syms, like $$pattern_lhs0?
 
-    - error if more than one def of fred has no destructuring
-    - error if defs don't all have the same number of args
-    - error if a def with no destructuring isn't the last def
+- ban patterns in class parameters
 
 - try < > in the image titlebar
 

meson.build

@@ -1,6 +1,6 @@
 project('nip4', 'c',
   # ie. a major after nip2 8.9 for workspace save file versioning
-  version: '9.0.14',
+  version: '9.0.15',
   license: 'GPL',
   meson_version: '>=0.64',
   default_options: [