Update template

Author: lemonidas

compile.rkt

@@ -99,7 +99,7 @@
                (Sar rax char-shift)
                (Sal rax int-shift))]
          ['integer->char
-          (seq assert-codepoint
+          (seq (assert-codepoint #f)
                (Sar rax int-shift)
                (Sal rax char-shift)
                (Xor rax type-char))]
@@ -253,7 +253,7 @@
 (define assert-cons
   (assert-type ptr-mask type-cons))
 
-(define assert-codepoint
+(define (assert-codepoint x)
   (let ((ok (gensym)))
     (seq (assert-integer rax)
          (Cmp rax (imm->bits 0))

types.rkt

@@ -56,5 +56,8 @@
 (define (cons-bits? v)
   (zero? (bitwise-xor (bitwise-and v imm-mask) type-cons)))
 
+(define (string-bits? v)
+  (zero? (bitwise-xor (bitwise-and v imm-mask) type-string)))
+
 (define (box-bits? v)
   (zero? (bitwise-xor (bitwise-and v imm-mask) type-box)))

unload-bits-asm.rkt

@@ -18,7 +18,12 @@
      (box (unload-value (heap-ref i)))]
     [(? cons-bits? i)
      (cons (unload-value (heap-ref (+ i (arithmetic-shift 1 imm-shift))))
-           (unload-value (heap-ref i)))]))
+           (unload-value (heap-ref i)))]
+    [(? string-bits? i)
+     (let* ((n (unload-value (heap-ref i)))
+            (cs (map (lambda (j) (unload-value (heap-ref (+ i (* 8 j) 8)))) (build-list n values))))
+       (apply string cs))]
+    ))
 
 (define (untag i)
   (arithmetic-shift (arithmetic-shift i (- (integer-length ptr-mask)))

unload.rkt

@@ -13,7 +13,8 @@
   (match v
     [(? integer?)    v]
     [(? boolean?)    v]
-    [(? char?)       v]    
+    [(? char?)       v]
+    [(? string?)     v]        
     [(? eof-object?) v]
     [(? void?)       v]    
     ['()             '()]