no specialization working

Author: andrew-johnson-4

PLUGINS/BACKEND/C/std-c-compile-call.lsts

@@ -1,5 +1,6 @@
 
 let std-c-compile-call(ctx: FContext, fname: CString, fterm: AST, args: AST): Fragment = (
+   fterm = find-global-callable(fname, typeof(args));
    if not(non-zero(fterm)) then fail("std-c-compile-call Function was null: \{fterm}\nArguments: \{typeof(args)}\n");
    if typeof(fterm).is-t(c"Blob") {
       let r = mk-fragment();

SRC/ascript-normal.lsts

@@ -9,11 +9,13 @@ let ascript-normal(t: AST, tt: Type): Nil = (
                exit-error("Type Ascription Inequality\n\{normalize(typeof(t))} does not imply \{normalize(tt)}", t);
             }
          }
-      } else {
-         add-concrete-type-instance(tt);
-         tt = denormalize(tt);
-         ascript(t, tt);
-         types-have-changed = true;
-      }
+      } else ascript-force(t, tt);
    }
 );
+
+let ascript-force(t: AST, tt: Type): Nil = (
+   add-concrete-type-instance(tt);
+   tt = denormalize(tt);
+   ascript(t, tt);
+   types-have-changed = true;
+);

SRC/preprocess-apply-hard.lm

@@ -39,15 +39,6 @@ preprocess-apply-hard := λ(: macro-name String)(: arity U64)(: program AST). (:
       ( _ (set macros MEOF) )
    )))
    (if (not matched) (
-      (let macro-list preprocess-macros)
-      (while (non-zero macro-list) (match macro-list (
-         ()
-         ( (MSeq( rst (Macro( ml mr )) )) (
-            (print 'Macro\s_s)(print ml)(print '\s=>\s_s)(print mr)(print '\n_s)
-            (set macro-list rst)
-         ))
-      )))
-      (print 'Args\s_s)(print program)(print '\n_s)
       (exit-error( (+( 'Invalid\sMacro\sApplication\s_s macro-name )) program ))
    ) ())
    return

SRC/std-infer-expr.lsts

@@ -179,6 +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))) );
          };
       );
       _ => fail("Unexpected Term in std-infer-expr\n\{term}\n");