From bb83ebdbf0ce0d55080a4a38e18c416c1c975e33 Mon Sep 17 00:00:00 2001
From: Kathy Gray <kathryn.gray@cl.cam.ac.uk>
Date: Mon, 28 Nov 2005 05:55:12 +0000
Subject: [PATCH] svn: r1422

---
 collects/tests/profj/full-tests.ss | 37 +++++++++++++++++++++++++++++-
 1 file changed, 36 insertions(+), 1 deletion(-)

diff --git a/collects/tests/profj/full-tests.ss b/collects/tests/profj/full-tests.ss
index ded65b8f50..369db265de 100644
--- a/collects/tests/profj/full-tests.ss
+++ b/collects/tests/profj/full-tests.ss
@@ -1,8 +1,43 @@
 (module full-tests mzscheme
-  (require (lib "profj-testing.ss" "profj"))
+  (require (lib "profj-testing.ss" "profj")
+           (lib "parameters.ss" "profj"))
   
   (prepare-for-tests "Full")
   
+  (interact-test
+   'full
+   (list "float x = 3/2;" "x" "double y = 3.2/2;" "y")
+   (list '(void) 1 '(void) 1.6) "Test of choosing integer vs floating point division")
+  
+  (parameterize ((dynamic? #t))
+    (execute-test
+     "class X { int m(dynamic x) { return x(1); } }"
+     'full #f "Using a dynamic parameter as a method"))
+  
+  (parameterize ((dynamic? #t))
+    (execute-test
+     "class X { dynamic x; }"
+     'full #f "Dynamic variable (unused) in class")
+    (execute-test
+     "class X { dynamic x; int foo() { return x; } }"
+     'full #f "Dynamic variable used, but not executed in class")
+    (execute-test
+     "class X { dynamic f() { return 3; } }"
+     'full #f "Method returning dynamic with actual an int")
+    (execute-test
+     "class X { int f(dynamic x) { return 3; }}"
+     'full #f "Method with dynamic parm, not used")
+    (execute-test
+     "class X {float f(dynamic x, dynamic y) { return x + y; }}"
+     'full #f "Method adding two dynamics, returning a float")
+    (interact-test
+     "class X { float f( dynamic x, dynamic y) { return x + y; }}"
+     'full (list "new X().f(1,1);")
+     (list 2) 
+     "Method adding two dynamics (returning a float), called"))
+    
+  
+  
   (execute-test
    "class C {
      void x() { return 1; }