Skip to content
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

Commit

Permalink
Fix exception test
Browse files Browse the repository at this point in the history
  • Loading branch information
FroMage committed Sep 7, 2017
1 parent 8610d77 commit a130339
Showing 1 changed file with 4 additions and 2 deletions.
Expand Up @@ -17,7 +17,7 @@
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
* MA 02110-1301, USA.
*/
import java.lang { Error }
import java.lang { RuntimeException, Error }
import java.io { IOException }

@noanno
Expand Down Expand Up @@ -46,6 +46,8 @@ shared void testThrowable(JavaExceptionsAndThrowable j){
}
if(is Error t){
}
if(is RuntimeException t){
}
if(is Exception t){
}
}
Expand All @@ -55,5 +57,5 @@ shared class ExceptionsAndThrowableRefinement() extends JavaExceptionsAndThrowab
shared actual Throwable t(Throwable? x){ if(exists x){ return x; } else { return nothing;} }
shared actual Error e(Error? x){ if(exists x){ return x; } else { return nothing;} }
shared actual Exception x(Exception? x){ if(exists x){ return x; } else { return nothing;} }
shared actual Exception rtx(Exception? x){ if(exists x){ return x; } else { return nothing;} }
shared actual RuntimeException rtx(RuntimeException? x){ if(exists x){ return x; } else { return nothing;} }
}

0 comments on commit a130339

Please sign in to comment.