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

make append preserve non-emptyness of first argument

Browse Source 
see https://github.com/racket/scribble/pull/8#discussion_r33423152
This commit is contained in:
AlexKnauth 2015-06-28 11:56:43 -04:00
parent 90dd27bfd8
commit aec5fad4be
2 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -622,7 +622,10 @@
[reverse (-poly (a) (-> (-lst a) (-lst a)))]
[kernel:reverse (-poly (a) (-> (-lst a) (-lst a)))]
[append (-poly (a) (->* (list) (-lst a) (-lst a)))]
[append (-poly (a)
(cl->*
(->* (list (-pair a (-lst a))) (-lst a) (-pair a (-lst a)))
(->* (list) (-lst a) (-lst a))))]
[length (-poly (a) (-> (-lst a) -Index))]
[memq (-poly (a) (-> Univ (-lst a) (-opt (-ne-lst a))))]
[memv (-poly (a) (-> Univ (-lst a) (-opt (-ne-lst a))))]

8
typed-racket-test/unit-tests/typecheck-tests.rkt
View File

@ -657,6 +657,7 @@
-PosByte]
[tc-e (car (append (list 1 2) (list 3 4))) -PosByte]
[tc-e (append '(1) '(2 3)) (-pair -PosByte (-lst -PosByte))]
[tc-e
(let-syntax ([a
@ -674,7 +675,7 @@
(-lst (t:Un -PosByte -Symbol))]
[tc-e (apply (plambda: (a) [x : a *] x) '(5)) (unfold (-lst -PosByte))]
[tc-e (apply append (list '(1 2 3) '(4 5 6))) (-lst -PosByte)]
[tc-e (apply append (list '(1 2 3) '(4 5 6))) (-pair -PosByte (-lst -PosByte))]
[tc-err ((case-lambda: [([x : Number]) x]
[([y : Number] [x : Number]) x])
@ -1084,9 +1085,10 @@
[tc-err (list*)]
[tc-err (apply append (list 1) (list 2) (list 3) (list (list 1) "foo"))]
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list 1))) (-lst -PosByte)]
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list 1)))
(-pair -PosByte (-lst -PosByte))]
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list "foo")))
(-lst (t:Un -String -PosByte))]
(-pair (t:Un -String -PosByte) (-lst (t:Un -String -PosByte)))]
[tc-e (plambda: (b ...) [y : b ... b] (apply append (map list y)))
#:ret (ret (-polydots (b) (->... (list) (b b) (-lst Univ))) -true-filter)]
[tc-e/t (plambda: (b ...) [y : (Listof Integer) ... b] (apply append y))