steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix stack effect of (exists?)

db4
Slava Pestov 2008-05-11 17:43:11 -05:00
parent f9db3f8b50
commit 7f725dfa6d
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
core/inference/known-words/known-words.factor
View File

@ -356,7 +356,7 @@ M: object infer-call
\ setenv { object fixnum } { } <effect> set-primitive-effect \ setenv { object fixnum } { } <effect> set-primitive-effect
\ exists? { string } { object } <effect> set-primitive-effect \ (exists?) { string } { object } <effect> set-primitive-effect
\ (directory) { string } { array } <effect> set-primitive-effect \ (directory) { string } { array } <effect> set-primitive-effect

3
core/io/files/files-tests.factor
View File

@ -3,6 +3,9 @@ USING: tools.test io.files io.files.private io threads kernel
continuations io.encodings.ascii io.files.unique sequences continuations io.encodings.ascii io.files.unique sequences
strings accessors io.encodings.utf8 math ; strings accessors io.encodings.utf8 math ;
\ exists? must-infer
\ (exists?) must-infer
[ ] [ "blahblah" temp-file dup exists? [ delete-directory ] [ drop ] if ] unit-test [ ] [ "blahblah" temp-file dup exists? [ delete-directory ] [ drop ] if ] unit-test
[ ] [ "blahblah" temp-file make-directory ] unit-test [ ] [ "blahblah" temp-file make-directory ] unit-test
[ t ] [ "blahblah" temp-file directory? ] unit-test [ t ] [ "blahblah" temp-file directory? ] unit-test