problem with unwanted free() is persistent..!

RESEARCH.md

@@ -1,3 +1,5 @@
 http://evincarofautumn.blogspot.se/2016/01/thoughts-on-using-fractional-types-to.html
 http://clang.llvm.org/docs/AddressSanitizer.html
 http://blog.piston.rs/2016/01/23/dynamo/
+https://wingolog.org/archives/2016/02/08/a-lambda-is-not-necessarily-a-closure
+

lisp/calculate_lifetimes.carp

@@ -354,6 +354,8 @@
 
                   ast-after-all ast3
 
+                  _ (println (str "vars-after-all-with-ret-val:\n" vars-after-all-with-ret-val))
+
                   ]
               {:ast ast-after-all
                :vars vars-after-all-with-ret-val

lisp/ownership_tests.carp

@@ -260,6 +260,12 @@
 
 (test-own-12)
 
+;; (defn fill-array [a pos value]
+;;   (let [count (string-array-count (ref a))]
+;;     (if (< pos count)
+;;       (fill-array (string-array-set a pos value) (+ pos 1) value)
+;;       a)))
+
 
 
 (defn own-13 ()

lisp/string_array.carp

@@ -145,6 +145,11 @@
       (fill-array (string-array-set a pos value) (+ pos 1) value)
       a)))
 
+(defn fill-array-strip [a]
+  (if true
+    (fill-array (string-array-set a 0 "hej") 0 "hej")
+    a))
+
 (defn test-fill-array ()
   (do
     (def fill-ast (lambda-to-ast (code fill-array)))
@@ -164,8 +169,8 @@
     ;;            (ownership-analyze fill-array))
     ))
 
-(test-fill-array)
-
+;;(test-fill-array)
+;;(bake fill-array)
 
 
 ;; (defn fill-array-2 [a pos value]