graphviz: better stack effect for with-preview.

2016-03-19 13:06:08 -07:00 · 2016-03-19 13:06:08 -07:00 · 4c06034ae0
parent 0b5ee9dce8
commit 4c06034ae0
1 changed files with 1 additions and 1 deletions
--- a/extra/graphviz/render/render.factor
+++ b/extra/graphviz/render/render.factor
@ -115,7 +115,7 @@ PRIVATE>
        [ unsupported-preview-format ]
    } case ;

-:: with-preview ( graph quot -- )
+:: with-preview ( ..a graph quot: ( ..a path -- ..b ) -- ..b )
    [
        "preview" ".dot" [| code-file |
            "preview" preview-extension [| image-file |