Add symbol type to unload-bits-asm.

Author: dvanhorn

langs/mug/test/test-runner.rkt

@@ -292,7 +292,8 @@
                 #f)
   (check-equal? (run '(eq? (symbol->string 'foo) (symbol->string 'foo))) #f)
   (check-equal? (run '(string? (symbol->string 'foo))) #t)
-  (check-equal? (run '(eq? (symbol->string 'foo) "foo")) #f))
+  (check-equal? (run '(eq? (symbol->string 'foo) "foo")) #f)
+  (check-equal? (run ''foo) 'foo))
 
 (define (test-runner-io run)
   ;; Evildoer examples

langs/mug/types.rkt

@@ -69,3 +69,6 @@
 
 (define (proc-bits? v)
   (zero? (bitwise-xor (bitwise-and v imm-mask) type-proc)))
+
+(define (symb-bits? v)
+  (zero? (bitwise-xor (bitwise-and v imm-mask) type-symb)))

langs/mug/unload-bits-asm.rkt

@@ -30,7 +30,14 @@
          (string)
          (build-string (heap-ref i)
                        (lambda (j)
-                         (char-ref (+ i 8) j))))]))
+                         (char-ref (+ i 8) j))))]
+    [(? symb-bits? i)
+     (string->symbol
+      (if (zero? (untag i))
+          (string)
+          (build-string (heap-ref i)
+                        (lambda (j)
+                          (char-ref (+ i 8) j)))))]))
 
 (define (untag i)
   (arithmetic-shift (arithmetic-shift i (- (integer-length ptr-mask)))