Skip to content

GitLab

C
clean-platform
Commit 710eca96 authored by Steffen Michels's avatar Steffen Michels
Browse files
Options

fix type of scanDirectory to allow a unique state

parent d971c0ae
Pipeline #31691 passed with stage
    in 1 minute and 48 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 2 deletions
    src/libraries/OS-Independent/System/Directory.dcl
    View file @ 710eca96
    ......@@ -32,7 +32,8 @@ recursiveDelete :: !FilePath !*World -> *(!MaybeOSError (), !*World)
    * @result The updated state.
    * @result The new world.
    */
    scanDirectory :: !(FilePath FileInfo .st *World -> *(.st, *World)) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
    scanDirectory ::
    !(FilePath FileInfo .st -> *(*World -> *(.st, *World))) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
    /**
    * Create an {{RTree}} from a root for a directory structure.
    ......
    src/libraries/OS-Independent/System/Directory.icl
    View file @ 710eca96
    ......@@ -39,7 +39,8 @@ recursiveDelete fp w
    = removeDirectory fp w
    = deleteFile fp w
    scanDirectory :: !(FilePath FileInfo .st *World -> *(.st, *World)) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
    scanDirectory ::
    !(FilePath FileInfo .st -> *(*World -> *(.st, *World))) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
    scanDirectory upd st dir w = scan dir [] st w
    where
    scan dir errs st w
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment