Skip to content

Commit 501b277

Browse files
committed
Remove empty? interface
empty? is now defined as an interface in Carp's core library, so we no longer need the definition provided here.
1 parent 18bd101 commit 501b277

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

src/size.carp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,4 +47,3 @@
4747
;; Generic interfaces for sized types
4848
(definterface len (Fn [(Ref (f n a))] Int))
4949
(definterface replicate (Fn [a] (f n a)))
50-
(definterface empty? (Fn [(Ref (f n a))] Bool))

0 commit comments

Comments
 (0)