wm: java

Info  •  Files  •  Log

fix build on jdk17

--- a/Main.java

+++ b/Main.java

@@ -172,7 +172,6 @@

 		/* handles result of Take/IO/Del Funcations */

 		void Result(TakeErr res);

 		void Result(DelErr res);

-		void Result(IOErr res);

 	}

 }

@@ -1777,24 +1776,6 @@

 				break;

 			default:

 				throw new IllegalStateException("Invalid DelErr");

-		}

-	}

-

-	public void Result(IOErr res)

-	{

-		switch(res)

-		{

-			case NotAFile:

-				System.err.println("Not a File");

-				break;

-			case PermissionDenied:

-				System.err.println("Permission denied");

-				break;

-			case Ok:

-				System.out.println("Done!");

-				break;

-			default:

-				throw new IllegalStateException("Invalid TakeErr");

 		}

 	}