From c1684e82ee4038adb2261ff3c73966d5d5caeeef Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 14 May 2017 19:16:32 -0700 Subject: [PATCH] kill --- pitfall/pitfall/buffer.rkt | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 pitfall/pitfall/buffer.rkt diff --git a/pitfall/pitfall/buffer.rkt b/pitfall/pitfall/buffer.rkt deleted file mode 100644 index a2a56f71..00000000 --- a/pitfall/pitfall/buffer.rkt +++ /dev/null @@ -1,25 +0,0 @@ -#lang pitfall/racket - -;; nodejs Buffer object = Racket byte string - -(define Buffer - (class object% - (super-new) - - (init-field [bstr #""]) - - (define/public (isBuffer x) - (is-a? x Buffer)) - - (define/public (length) - (bytes-length bstr)))) - -(define isBuffer (generic Buffer isBuffer)) - - -(module+ test - (require rackunit) - (define good-buffer (make-object Buffer #"foo")) - (check-true (send-generic good-buffer isBuffer good-buffer)) - (check-false (send-generic (new Buffer) isBuffer "foo"))) -