rename to rkt

original commit: 459a675b90443b59e46bccae476a6f040fa8434d
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-30 09:51:32 -04:00
292 changed files with 213 additions and 276 deletions

View File

@ -2,7 +2,7 @@
(provide go go/text)
(require schemeunit schemeunit/text-ui
(require rktunit rktunit/text-ui
mzlib/etc scheme/port
compiler/compiler
scheme/match

View File

@ -1,11 +0,0 @@
#lang typed-scheme
(: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b)))))
(define (map-with-funcs . fs)
(lambda as
(map (lambda: ([f : (a ... a -> b)])
(apply f as))
fs)))
(ann (map-with-funcs + - * /) (Number Number * -> (Listof Number)))

View File

@ -10,7 +10,7 @@
;; really badly wrong.
(: check (All (a) ((a a -> Boolean) a a -> Boolean)))
;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RktUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t

View File

@ -5,7 +5,7 @@
scheme/unsafe/ops)
(: check (All (a) ((a a -> Boolean) a a -> Boolean)))
;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RktUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t

View File

@ -11,7 +11,7 @@
;; really badly wrong.
(: check (All (a) ((a a -> Boolean) a a -> Boolean)))
;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RktUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t
@ -40,4 +40,4 @@
(let ([v (flvector 1. 2. 3.)])
(unsafe-flvector-set! v 0 10.)
(unsafe-flvector-ref v 0))
10.)
10.)

Some files were not shown because too many files have changed in this diff Show More