246

1 files changed, 7 insertions, 6 deletions

diff --git a/mu.arc b/mu.arc
index dca953e9..12202995 100644
--- a/mu.arc
+++ b/mu.arc
@@ -709,12 +709,13 @@
                 (assert basetype!address "@args.0 requests deref, but it's not an address of a record")
                 (= basetype (types* basetype!elem)))
               (when (isa field 'sym)
-                (assert (~offset field) "field @args.1 is also a variable")
-                (assert basetype!fields "no field names available for @instr")
-                (iflet idx (pos field basetype!fields)
-                  (do (set isa-field.field)
-                      (= offset.field idx))
-                  (assert nil "couldn't find field in @instr"))))
+                (assert (or (~offset field) isa-field.field) "field @args.1 is also a variable")
+                (when (~offset field)
+                  (assert basetype!fields "no field names available for @instr")
+                  (iflet idx (pos field basetype!fields)
+                    (do (set isa-field.field)
+                        (= offset.field idx))
+                    (assert nil "couldn't find field in @instr")))))
             (each arg args
               (assert (~isa-field v.arg) "arg @arg is also a field name")
               (when (maybe-add arg offset idx)