Remove string stuff from interp-heap.

Author: dvanhorn

langs/hustle/interp-heap.rkt

@@ -1,7 +1,6 @@
 #lang racket
 (provide interp interp-env-heap)
-(require "heap.rkt"
-         "env.rkt"
+(require "env.rkt"
          "unload.rkt"
          "interp-prims-heap.rkt"
          "ast.rkt")

langs/hustle/interp-prims-heap.rkt

@@ -1,5 +1,5 @@
 #lang racket
-(provide interp-prim1 interp-prim2 interp-prim3)
+(provide interp-prim1 interp-prim2)
 (require "heap.rkt")
 
 ;; Op1 Value* Heap -> Answer*
@@ -18,9 +18,6 @@
     [(list 'car   (list 'cons i))         (cons h (heap-ref h i))]
     [(list 'cdr   (list 'cons i))         (cons h (heap-ref h (add1 i)))]
     [(list 'empty? v)                     (cons h (empty? v))]
-    [(list 'string? (list 'str s))        (cons h #t)]
-    [(list 'string? v)                    (cons h #f)]
-    [(list 'string-length (list 'str a))  (cons h (heap-ref h a))]
     [_                                    'err]))
 
 ;; Op2 Value* Value* Heap -> Answer*
@@ -35,24 +32,8 @@
        [(list (list t1 a1)  (list t2 a2)) (cons h (and (eq? t1 t2) (= a1 a2)))]
        [_                                 (cons h (eqv? v1 v2))])]
     [(list 'cons v1 v2)                        (alloc-cons v1 v2 h)]
-    [(list 'make-string (? integer? i) (? char? c))
-     (if (<= 0 i)
-         (alloc-str (make-string i c) h)
-         'err)]
-    [(list 'string-ref (list 'str a) (? integer? i))
-     (cons h (heap-ref h (+ a i 1)))]
     [_ 'err]))
 
-;; Op2 Value* Value* Heap -> Answer*
-(define (interp-prim3 p v1 v2 v3 h)
-  (match (list p v1 v2 v3)
-    [(list 'string-set! (list 'str a) (? integer? i) (? char? c))
-     (if (<= 0 v2 (sub1 (heap-ref h a)))
-         (cons (heap-set h (+ a i 1) c)
-               (void))
-         'err)]
-    [_  'err]))
-
 ;; Any -> Boolean
 (define (codepoint? v)
   (and (integer? v)