Pointers and references: Difference between revisions

Content added Content deleted

Inline

@@ Line 1,027: / Line 1,027: @@
 def deref($pointer):
   def resolve($x):
+    if ($x | type) == "object"
-    . as $in
-    | if ($x | type) == "object"
+    then $x["$ref"] as $ref
-      then $x["$ref"] as $ref
+    | if $ref then getpointer($ref)
-      | if $ref then getpointer($ref)
-        else $x
-        end
       else $x
-      end;
+      end
+    else $x
+    end;
   if ($pointer|type) == "string"