From 9469edc6f18bdc0c7d24f30bd0b10924603f376b Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Tue, 28 Feb 2006 05:38:32 +0000 Subject: [PATCH] Arity bug in build-info fix. svn: r2328 --- collects/profj/build-info.ss | 2 +- collects/tests/profj/advanced-tests.ss | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/profj/build-info.ss b/collects/profj/build-info.ss index fb38b63af0..3bc9f14be0 100644 --- a/collects/profj/build-info.ss +++ b/collects/profj/build-info.ss @@ -1107,7 +1107,7 @@ (make-id (method-record-name m) #f) (map (lambda (a) (make-var-decl (make-id (gensym) #f) null - (type->type-spec a) #f)) + (type->type-spec a) #f #f)) (method-record-atypes m)) null #f #f (copy-method-record m) #f)) diff --git a/collects/tests/profj/advanced-tests.ss b/collects/tests/profj/advanced-tests.ss index d0ddf89928..368f9da19d 100644 --- a/collects/tests/profj/advanced-tests.ss +++ b/collects/tests/profj/advanced-tests.ss @@ -5,6 +5,12 @@ ;;Execution tests without errors + (execute-test + "interface A { int a( int x); } + abstract class B implements A { } + " + 'advanced #f "abs. class with interface not all impl., with args") + (execute-test "public class X { private int x() { return 3; }