Added tests for return type checking

svn: r1400
2005-11-24 18:17:26 +00:00 · 2005-11-24 18:17:26 +00:00 · 79af758ca0
commit 79af758ca0
parent 6cd0f93eb4
1 changed files with 12 additions and 0 deletions
--- a/collects/tests/profj/full-tests.ss
+++ b/collects/tests/profj/full-tests.ss
@ -3,6 +3,18 @@
  
  (prepare-for-tests "Full")
  
+  (execute-test
+   "class C {
+     void x() { return 1; }
+    }"
+   'full #t "Trying to return value from void method")
+  
+  (interact-test
+   'full
+   (list "return 1 + true;")
+   (list 'error)
+   "Make sure returns are type-checked in interactions")
+  
  (execute-test
   "class A {
     void n() { }