File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed
distribution/lib/Standard/Base/0.0.0-dev/src/Errors Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -128,7 +128,10 @@ type File_Error
128128 _ : FileNotFoundException -> Error.throw (File_Error.Not_Found associated_file)
129129 _ : NoSuchFileException -> Error.throw (File_Error.Not_Found associated_file)
130130 _ : FileAlreadyExistsException -> Error.throw (File_Error.Already_Exists associated_file)
131- _ : AccessDeniedException -> File_Error.access_denied associated_file
131+ _ : AccessDeniedException ->
132+ Standard.Base.IO.println <| "[mylog] AccessDeniedException:"
133+ io_exception.printStackTrace
134+ File_Error.access_denied associated_file
132135 _ : DirectoryNotEmptyException -> Error.throw (File_Error.Directory_Not_Empty associated_file)
133136 _ : NotDirectoryException -> Error.throw (File_Error.Not_A_Directory associated_file)
134137 _ -> Error.throw (File_Error.IO_Error associated_file "An IO error has occurred: "+io_exception.to_text)
You can’t perform that action at this time.
0 commit comments