var to def

Author: andrew-johnson-4

PLUGINS/BACKEND/C/compile-expr-direct.lm

@@ -25,15 +25,15 @@ compile-expr-direct := λ(: ctx FContext)(: term AST)(: stack-offset I64)(: used
                   (set e (compile-expr( ctx t stack-offset Used )))
                ) )
                ( (TGround( 'Array_s (LCons( TAny (LCons( inner-tt LEOF )) )) )) (
-                  (let fterm (.lookup( var-to-def-index o-t ASTEOF )))
+                  (let fterm (var-to-def o-t))
                   (set e (std-c-compile-call( ctx 'open_s fterm t )))
                ))
                ( (TGround( 'Array_s (LCons( array-length (LCons( inner-tt LEOF )) )) )) (
                   (set e (compile-expr( ctx t stack-offset Used )))
                ))
             ))
          ) (
-            (let fterm (.lookup( var-to-def-index o-t ASTEOF )))
+            (let fterm (var-to-def o-t))
             (set e (std-c-compile-call( ctx 'open_s fterm t )))
          ))
       ))
@@ -184,7 +184,7 @@ compile-expr-direct := λ(: ctx FContext)(: term AST)(: stack-offset I64)(: used
             (match f (
                ()
                ( (Var( fname _ )) (
-                  (let fterm (.lookup( var-to-def-index f ASTEOF )))
+                  (let fterm (var-to-def f))
                   (set e (std-c-compile-call( ctx fname fterm a )))
                ))
                ( (Lit( fname _ )) (