From f2a7dac93926ecd84738a708ab42c4836871c610 Mon Sep 17 00:00:00 2001 From: Matthias Andreas Benkard Date: Thu, 11 Aug 2011 22:31:46 +0200 Subject: typed-sequence.rkt: Simplify the code a bit. --- typed-sequence.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/typed-sequence.rkt b/typed-sequence.rkt index 448410d..d993ec0 100644 --- a/typed-sequence.rkt +++ b/typed-sequence.rkt @@ -3,5 +3,4 @@ (provide sequence->sequence) ;; Sequence -> (Sequenceof Any) -(define (sequence->sequence x) - x) +(define sequence->sequence identity) -- cgit v1.2.3