From efc53a418e59f3f5fa5c8d6a8c70c21f5090dc8a Mon Sep 17 00:00:00 2001
From: gilch <gilch@users.noreply.github.com>
Date: Sat, 27 May 2023 15:01:36 -0600
Subject: [PATCH] Add attribute lookups

---
 src/hissp/macros.lissp | 25 ++++++++++++++++++-------
 1 file changed, 18 insertions(+), 7 deletions(-)

diff --git a/src/hissp/macros.lissp b/src/hissp/macros.lissp
index ab4cd9c0..0f5cd608 100644
--- a/src/hissp/macros.lissp
+++ b/src/hissp/macros.lissp
@@ -2054,17 +2054,22 @@ except ModuleNotFoundError:pass"
     #> (^#:'foo^ (% 'foo 2))
     2
 
-  Callables pop args to their depth and push their result.
-  These are categorized at read time. Literals are always data, but
-  elements that read as `tuple` or `str` types are sometimes ambiguous,
-  in which case they are assumed callable.
+  Callables (default depth 1) pop args to their depth and push their
+  result. These are categorized at read time. Literals are always data,
+  but elements that read as `tuple` or `str` types are sometimes
+  ambiguous, in which case they are assumed callable.
 
+  Methods at depth one are converted to attribute lookups.
+
+    #> (^#.__class__.__name__ :x)
+    'str'
   "
   (let (reader (hissp..reader.Lissp : ns (.get hissp.compiler..NS))
         literal? X#(not (op#contains (# tuple str) (type X)))
         control-word? X#(&& (op#is_ (type X) str) (.startswith X ":"))
         module-handle? X#(&& (op#is_ (type X) str) (.endswith X "."))
-        quotation? X#(&& (op#is_ (type X) tuple) (op#eq 'quote (get#0 X))))
+        quotation? X#(&& (op#is_ (type X) tuple) (op#eq 'quote (get#0 X)))
+        method? X#(&& (op#is_ (type X) str) (.startswith X ".")))
     `(lambda (: :* $#args)
        (let ($#stack (list $#args))
          (.reverse $#stack)
@@ -2079,8 +2084,14 @@ except ModuleNotFoundError:pass"
                                       (if-else Y
                                         `(op#getitem (.pop ,'$#stack) ,obj)
                                         obj)
-                                      `(,obj ,@(XY#.#"X*(Y+1)" `((.pop ,'$#stack))
-                                                               (len Y))))))
+                                      (if-else (method? obj)
+                                        (if-else Y
+                                          `(,obj ,@(XY#.#"X*Y" `((.pop ,'$#stack))
+                                                               (len Y)))
+                                          `((op#attrgetter ',.#"obj[1:]")
+                                            (.pop ,'$#stack)))
+                                        `(,obj ,@(XY#.#"X*(Y+1)" `((.pop ,'$#stack))
+                                                                 (len Y)))))))
                      .#"/" `(.pop ,'$#stack ,(op#sub -1 (len Y)))
                      .#"&" `(.append ,'$#stack (,'XY#.#"X[-1-Y]" ,'$#stack ,(len Y)))
                      .#"@" `(.append ,'$#stack (.pop ,'$#stack ,(op#sub -2 (len Y))))