Fix tests where type variable scoping is wrong

This commit is contained in:
Asumu Takikawa 2012-12-12 14:01:34 -05:00
parent 5c80743ed5
commit 28108884ab
6 changed files with 16 additions and 16 deletions

View File

@ -67,7 +67,7 @@
(: zulu-select (All (X) ((X -> Any) (Listof X) -> (Listof X))))
(define zulu-select
(lambda (test lst)
(: select-a (All (X) ((Listof X) (Listof X) -> (Listof X))))
(: select-a ((Listof X) (Listof X) -> (Listof X)))
(define select-a
(lambda (ac lst)
(if (null? lst)
@ -86,7 +86,7 @@
(: select-map (All (X Y) ((X -> Any) (X -> Y) (Listof X) -> (Listof Y))))
(define select-map
(lambda (test func lst)
(: select-a (All (X Y) ((Listof Y) (Listof X) -> (Listof Y))))
(: select-a ((Listof Y) (Listof X) -> (Listof Y)))
(define select-a
(lambda (ac lst)
(if (null? lst)
@ -108,7 +108,7 @@
(lambda (proc lst)
(if (null? lst)
#t
(letrec: ((drudge : (All (X) ((Listof X) -> Any))
(letrec: ((drudge : ((Listof X) -> Any)
(lambda (lst)
(let ((rest (cdr lst)))
(if (null? rest)

View File

@ -92,9 +92,9 @@
(define: mymap : (All (a b) ((a -> b) (Listof a) -> (Listof b)))
(plambda: (a b) ([f : (a -> b)] [l : (Listof a)])
(cond [(null? l) '()]
[else (cons (f (car l))
(mymap f (cdr l)))])))
(cond [(null? l) '()]
[else (cons (f (car l))
(mymap f (cdr l)))])))
(mymap add1 (cons 1 (cons 2 (cons 3 #{'() :: (Listof number)}))))

View File

@ -207,7 +207,7 @@
(define: list->heap : (All (a) (case-lambda (comparator (list-of a) -> (Heap a)) ((list-of a) -> (Heap a))))
; time: O(n)
(pcase-lambda: (a)
(pcase-lambda: (a)
[([l : (list-of a)]) (list->heap (current-compare) l)]
[([cmp : comparator] [l : (list-of a)])
(let* ([e (#{empty @ a} cmp)]

View File

@ -357,9 +357,9 @@
;; FIXME
(define: mymap : (All (a b) ((a -> b) (list-of a) -> (list-of b)))
(plambda: (a b) ([f : (a -> b)] [l : (list-of a)])
(cond [(null? l) '()]
[else (cons (f (car l))
(mymap f (cdr l)))])))
(cond [(null? l) '()]
[else (cons (f (car l))
(mymap f (cdr l)))])))
(mymap add1 (cons 1 (cons 2 (cons 3 '()))))

View File

@ -7,9 +7,9 @@
#;(require "prims.rkt")
(define: mymap : (All (a b) ((a -> b) (list-of a) -> (list-of b)))
(plambda: (a b) ([f : (a -> b)] [l : (list-of a)])
(cond [(null? l) '()]
[else (cons (f (car l))
(mymap f (cdr l)))])))
(cond [(null? l) '()]
[else (cons (f (car l))
(mymap f (cdr l)))])))
(pdefine: (a b) (mymap2 [f : (a -> b)] [l : (list-of a)]) : (list-of b)
(cond [(null? l) '()]

View File

@ -54,9 +54,9 @@
(define: empty : (All (a) (case-lambda (-> (priority-queue a)) (comparator -> (priority-queue a))))
(pcase-lambda: (a)
[() (#{empty @ a} (current-compare))]
[([cmp : comparator]) (make (#{heap:empty :: (case-lambda (-> (pqh a))
(comparator -> (pqh a)))} cmp))]))
[() (#{empty @ a} (current-compare))]
[([cmp : comparator]) (make (#{heap:empty :: (case-lambda (-> (pqh a))
(comparator -> (pqh a)))} cmp))]))
(pdefine: (e r) (fold [f : ((cons number e) r -> r)] [b : r] [a : (priority-queue e)]) : r
(heap:fold f b (#{heap :: ((priority-queue e) -> (pqh e))} a)))