From 86c04a4ce3be995edf14ae7f3bf1e137d478c40e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Sep 2021 01:52:03 -0400
Subject: Correctly analyzing records in the presence of local bindings.

---
 lux-jvm/source/luxc/lang/directive/jvm.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/directive')

diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 1d1c4c278..e22d9c427 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -1,6 +1,6 @@
 (.module:
   [library
-   [lux {"-" Type static local}
+   [lux {"-" Type Primitive static local}
     ["[0]" ffi {"+" Inheritance Privacy State import:}]
     [abstract
      ["[0]" monad {"+" do}]]
@@ -540,7 +540,7 @@
                   <type_vars> (as_is <anchor> <expression> <directive>)]
   (type: Handler'
     ... (generation.Handler jvm.Anchor (/.Bytecode Inst /.Label) jvm.Definition)
-    (-> extension.Symbol
+    (-> extension.Name
         (phase.Phase [(extension.Bundle <type_vars>)
                       (generation.State <type_vars>)]
                      Synthesis
-- 
cgit v1.2.3