From dcb64770ada4e34ae99142bd51d36180536d6a4a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Wed, 8 Jan 2025 19:35:06 +0100 Subject: [PATCH] Fix a bad merge between #11926 and #11399 --- distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso index 2f998c8bfdd2..f4079c90c08d 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso @@ -953,12 +953,12 @@ Data_Link_From_File.from (that : File) = Data_Link_From_File.Value that private _local_file_copy (source : File) (destination : File) (replace_existing : Boolean) -> Nothing = File_Error.handle_java_exceptions source <| copy_options = if replace_existing then [StandardCopyOption.REPLACE_EXISTING.to_text] else [] - copy_builtin source destination copy_options + source.move_builtin destination copy_options private _local_file_move (source : File) (destination : File) (replace_existing : Boolean) -> Nothing = File_Error.handle_java_exceptions source <| copy_options = if replace_existing then [StandardCopyOption.REPLACE_EXISTING.to_text] else [] - move_builtin source destination copy_options + source.move_builtin destination copy_options ## On some filesystems some paths may be invalid, we want to catch the Java exception and turn it into an Enso error.