Ada: add deref (stage 1 complete)

diff --git a/ada/reader.adb b/ada/reader.adb
index d5dfed8..a0adf62 100644 (file)
--- a/ada/reader.adb
+++ b/ada/reader.adb
@@ -309,6 +309,12 @@ package body Reader is
                Meta => null,
                The_Function => Unquote,
                The_Operand => Read_Form);
+         elsif MT.Symbol = ACL.Commercial_At then
+            return new Mal_Type'
+              (Sym_Type => Unitary,
+               Meta => null,
+               The_Function => Deref,
+               The_Operand => Read_Form);
          else
             return MT;
          end if;

diff --git a/ada/types.adb b/ada/types.adb
index c030e91..98afdaf 100644 (file)
--- a/ada/types.adb
+++ b/ada/types.adb
@@ -107,6 +107,9 @@ package body Types is
                when Splice_Unquote =>
                   return
                     "(splice-unquote " & To_String (T.The_Operand.all) & ")";
+               when Deref =>
+                  return
+                    "(deref " & To_String (T.The_Operand.all) & ")";
             end case;
          when Error =>
             return To_String (T.Error_Msg);

diff --git a/ada/types.ads b/ada/types.ads
index 7907d39..82a939b 100644 (file)
--- a/ada/types.ads
+++ b/ada/types.ads
@@ -16,7 +16,8 @@ package Types is
 
    type Sym_Types is (Int, Floating, List, Sym, Str, Atom, Unitary, Error);
 
-   type Unitary_Functions is (Quote, Unquote, Quasiquote, Splice_Unquote);
+   type Unitary_Functions is
+     (Quote, Unquote, Quasiquote, Splice_Unquote, Deref);
 
    type List_Types is (List_List, Vector_List, Hashed_List);
    function Opening (LT : List_Types) return Character;