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

Merge branch 'master' into new_optimizer

db4
Slava Pestov 2008-08-15 18:57:14 -05:00
parent 9c67591c7d a452dd86f6
commit fcfd6caa21
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/io/ports/ports.factor
View File

@ -135,9 +135,9 @@ M: output-port dispose*
[ [
{ {
[ handle>> &dispose drop ] [ handle>> &dispose drop ]
[ buffer>> &dispose drop ]
[ port-flush ] [ port-flush ]
[ handle>> shutdown ] [ handle>> shutdown ]
[ buffer>> dispose ]
} cleave } cleave
] with-destructors ; ] with-destructors ;