print S is mostly working aside from some offsets

Author: andrew-johnson-4

STDLIB/default-instruction-set.lm

@@ -67,6 +67,15 @@ fragment mov := λ(: src LocalVariable+Sized<size>)(: index Literal+Constant)(:
       ))
    ))
 ) Nil);
+fragment mov := λ(: src Reg64+x[])(: index Literal+Constant)(: dst LocalVariable+Sized<size>). (: (
+   (.program (
+      (\t 'mov \s '% (.expression src) , \s '%r14 \n)
+      (for word-offset in (range( 0 (/( size 8 )) )) (
+         \t 'movq \s (*( word-offset 8 )) \[ '%r14 \] , '%r15 \n
+         \t 'movq \s '%r15 , \s (+( (.expression dst) (*( word-offset 8 )) )) \[ '%rbp \] \n
+      ))
+   ))
+) Nil);
 
 fragment mov := λ(: src LocalVariable)(: dst Constant+Reg64). (: ( (.program( \t 'mov \t (.expression src) \[ '%rbp \] , \s '% (.expression dst) \n)) ) Nil);
 fragment mov := λ(: src GlobalVariable)(: dst Constant+Reg64). (: ( (.program(

STDLIB/default-stdlib.lm

@@ -10,11 +10,6 @@ close := λ(: x S). (: (tail(
    (as R8 S[])
 )) S[]);
 
-open := λ(: x S[]). (: (tail(
-   ()
-   SNil
-)) S);
-
 print := λ(: x S). (: (tail(
    (if (==( (.0 x) 3u64 )) (
       (print '\[\]_s)
@@ -23,10 +18,13 @@ print := λ(: x S). (: (tail(
          (print (.1 (as x SAtom)))
       ) (
          (if (==( (.0 x) 1u64 )) (tail(
+            (let c SNil)
             (print '\[_s)
-            (print (open (.1 (as x SCons))))
+            (mov( (.1 (as x SCons)) 0u64 c ))
+            (print c)
             (print '\s_s)
-            (print (open (.2 (as x SCons))))
+            (mov( (.2 (as x SCons)) 0u64 c ))
+            (print c)
             (print '\]_s)
          )) (tail(
             (print '[_s)