suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add failing test to xfail.

Browse Source 
Remove old dead code.

svn: r16479

original commit: 93a504a8173309922e087142ca191d76c6885032
This commit is contained in:
Sam Tobin-Hochstadt 2009-10-30 16:26:48 +00:00
parent a714f51138
commit b616135475
1 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
collects/tests/typed-scheme/xfail/applicative.ss Normal file
View File

@ -0,0 +1,23 @@
#lang typed-scheme
(: id (All (a) (a -> a)))
(define (id x) x)
(: pure (All (a) (a -> (All (Env) (Env -> a)))))
(define (pure c)
(plambda: (Env) ([env : Env]) c))
(pure 4)
; REPL reports type (Any -> Integer)
; Shouldn't it be (All (Env) (Env -> Integer))?
(pure id)
; REPL reports type (Any -> (All (a) (a -> a)))
; Shouldn't it be (All (Env) (Env -> (All (a) (a -> a))))?
(: ap (All (Env a b) ((Env -> (a -> b)) (Env -> a) -> (Env -> b))))
(define (ap f x)
(λ (env)
((f env) (x env))))
(ap (pure id) (pure 4))