migrate away from var-to-def

Author: andrew-johnson-4

PLUGINS/BACKEND/C/compile-c.lm

@@ -14,7 +14,7 @@ plugins-backend-c-compile := λ . (: (
                (set global-ctx (.bind(
                   global-ctx k kt fragment
                )))
-               (set std-c-fragment-context (.bind( std-c-fragment-context (def-to-sym g-t) fragment )))
+               (set std-c-fragment-context (.bind( std-c-fragment-context g-t fragment )))
             ) (
                (let clean-tt (.without-tag kt))
                (let mid (mangle-identifier( k clean-tt )))
@@ -25,13 +25,13 @@ plugins-backend-c-compile := λ . (: (
                   (set global-ctx (.bind(
                      global-ctx k kt fragment
                   )))
-                  (set std-c-fragment-context (.bind( std-c-fragment-context (def-to-sym g-t) fragment )))
+                  (set std-c-fragment-context (.bind( std-c-fragment-context g-t fragment )))
                ) (
                   (let repr-tt (&&( clean-tt (t1 'GlobalVariable_s) )))
                   (set global-ctx (.bind(
                      global-ctx k repr-tt fragment
                   )))
-                  (set std-c-fragment-context (.bind( std-c-fragment-context (def-to-sym g-t) fragment )))
+                  (set std-c-fragment-context (.bind( std-c-fragment-context g-t fragment )))
                ))
             ))
          ))

SRC/specialize.lm

@@ -1,6 +1,7 @@
 
 specialize := λ(: key String)(: ft Type)(: unify-ctx Maybe<TContext>)(: result-type Type). (: (
    (if (is-special( key result-type )) () (
+      (print 'Specialize\s_s)(print key)(print '\s:\s_s)(print result-type)(print '\n_s)
       (let term ASTEOF)
       (for-each ((Tuple( kt _ t )) in (.lookup( global-type-context key (: LEOF List<Tuple<Type,Type,AST>>) ))) (
          (if (==( ft kt )) (

SRC/std-infer-expr.lsts

@@ -179,7 +179,7 @@ let std-infer-expr(tctx: Maybe<TContext>, term: AST, is-scoped: Bool, used: IsUs
 
          if not(is-macro) && not(is-cons) && non-zero(var-name-if-var(l)) && typeof(l).is-arrow {
             mark-var-to-def-todo(tctx, var-name-if-var(l), typeof(r), l);
-            ascript-force( l, typeof(find-global-callable(var-name-if-var(l),typeof(r))) );
+            apply-global-callable(var-name-if-var(l),typeof(r),term);
          };
       );
       _ => fail("Unexpected Term in std-infer-expr\n\{term}\n");