[p5sagit/p5-mst-13.2.git] / t / comp / proto.t

#!./perl
#
# Contributed by Graham Barr <Graham.Barr@tiuk.ti.com>
#
# So far there are tests for the following prototypes.
# none, () ($) ($@) ($%) ($;$) (&) (&\@) (&@) (%) (\%) (\@)
#
# It is impossible to test every prototype that can be specified, but
# we should test as many as we can.
#

# XXX known to leak scalars
$ENV{PERL_DESTRUCT_LEVEL} = 0 unless $ENV{PERL_DESTRUCT_LEVEL} > 3;

BEGIN {
    chdir 't' if -d 't';
    @INC = '../lib';
}

use strict;

print "1..122\n";

my $i = 1;

sub testing (&$) {
    my $p = prototype(shift);
    my $c = shift;
    my $what = defined $c ? '(' . $p . ')' : 'no prototype';   
    print '#' x 25,"\n";
    print '# Testing ',$what,"\n";
    print '#' x 25,"\n";
    print "not "
	if((defined($p) && defined($c) && $p ne $c)
	   || (defined($p) != defined($c)));
    printf "ok %d\n",$i++;
}

@_ = qw(a b c d);
my @array;
my %hash;

##
##
##

testing \&no_proto, undef;

sub no_proto {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_)
}

print "not " unless 0 == no_proto();
printf "ok %d\n",$i++;

print "not " unless 1 == no_proto(5);
printf "ok %d\n",$i++;

print "not " unless 4 == &no_proto;
printf "ok %d\n",$i++;

print "not " unless 1 == no_proto +6;
printf "ok %d\n",$i++;

print "not " unless 4 == no_proto(@_);
printf "ok %d\n",$i++;

##
##
##


testing \&no_args, '';

sub no_args () {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_)
}

print "not " unless 0 == no_args();
printf "ok %d\n",$i++;

print "not " unless 0 == no_args;
printf "ok %d\n",$i++;

print "not " unless 5 == no_args +5;
printf "ok %d\n",$i++;

print "not " unless 4 == &no_args;
printf "ok %d\n",$i++;

print "not " unless 2 == &no_args(1,2);
printf "ok %d\n",$i++;

eval "no_args(1)";
print "not " unless $@;
printf "ok %d\n",$i++;

##
##
##

testing \&one_args, '$';

sub one_args ($) {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_)
}

print "not " unless 1 == one_args(1);
printf "ok %d\n",$i++;

print "not " unless 1 == one_args +5;
printf "ok %d\n",$i++;

print "not " unless 4 == &one_args;
printf "ok %d\n",$i++;

print "not " unless 2 == &one_args(1,2);
printf "ok %d\n",$i++;

eval "one_args(1,2)";
print "not " unless $@;
printf "ok %d\n",$i++;

eval "one_args()";
print "not " unless $@;
printf "ok %d\n",$i++;

sub one_a_args ($) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless @_ == 1 && $_[0] == 4;
    printf "ok %d\n",$i++;
}

one_a_args(@_);

##
##
##

testing \&over_one_args, '$@';

sub over_one_args ($@) {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_)
}

print "not " unless 1 == over_one_args(1);
printf "ok %d\n",$i++;

print "not " unless 2 == over_one_args(1,2);
printf "ok %d\n",$i++;

print "not " unless 1 == over_one_args +5;
printf "ok %d\n",$i++;

print "not " unless 4 == &over_one_args;
printf "ok %d\n",$i++;

print "not " unless 2 == &over_one_args(1,2);
printf "ok %d\n",$i++;

print "not " unless 5 == &over_one_args(1,@_);
printf "ok %d\n",$i++;

eval "over_one_args()";
print "not " unless $@;
printf "ok %d\n",$i++;

sub over_one_a_args ($@) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless @_ >= 1 && $_[0] == 4;
    printf "ok %d\n",$i++;
}

over_one_a_args(@_);
over_one_a_args(@_,1);
over_one_a_args(@_,1,2);
over_one_a_args(@_,@_);

##
##
##

testing \&scalar_and_hash, '$%';

sub scalar_and_hash ($%) {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_)
}

print "not " unless 1 == scalar_and_hash(1);
printf "ok %d\n",$i++;

print "not " unless 3 == scalar_and_hash(1,2,3);
printf "ok %d\n",$i++;

print "not " unless 1 == scalar_and_hash +5;
printf "ok %d\n",$i++;

print "not " unless 4 == &scalar_and_hash;
printf "ok %d\n",$i++;

print "not " unless 2 == &scalar_and_hash(1,2);
printf "ok %d\n",$i++;

print "not " unless 5 == &scalar_and_hash(1,@_);
printf "ok %d\n",$i++;

eval "scalar_and_hash()";
print "not " unless $@;
printf "ok %d\n",$i++;

sub scalar_and_hash_a ($@) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless @_ >= 1 && $_[0] == 4;
    printf "ok %d\n",$i++;
}

scalar_and_hash_a(@_);
scalar_and_hash_a(@_,1);
scalar_and_hash_a(@_,1,2);
scalar_and_hash_a(@_,@_);

##
##
##

testing \&one_or_two, '$;$';

sub one_or_two ($;$) {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_)
}

print "not " unless 1 == one_or_two(1);
printf "ok %d\n",$i++;

print "not " unless 2 == one_or_two(1,3);
printf "ok %d\n",$i++;

print "not " unless 1 == one_or_two +5;
printf "ok %d\n",$i++;

print "not " unless 4 == &one_or_two;
printf "ok %d\n",$i++;

print "not " unless 3 == &one_or_two(1,2,3);
printf "ok %d\n",$i++;

print "not " unless 5 == &one_or_two(1,@_);
printf "ok %d\n",$i++;

eval "one_or_two()";
print "not " unless $@;
printf "ok %d\n",$i++;

eval "one_or_two(1,2,3)";
print "not " unless $@;
printf "ok %d\n",$i++;

sub one_or_two_a ($;$) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless @_ >= 1 && $_[0] == 4;
    printf "ok %d\n",$i++;
}

one_or_two_a(@_);
one_or_two_a(@_,1);
one_or_two_a(@_,@_);

##
##
##

testing \&a_sub, '&';

sub a_sub (&) {
    print "# \@_ = (",join(",",@_),")\n";
    &{$_[0]};
}

sub tmp_sub_1 { printf "ok %d\n",$i++ }

a_sub { printf "ok %d\n",$i++ };
a_sub \&tmp_sub_1;

@array = ( \&tmp_sub_1 );
eval 'a_sub @array';
print "not " unless $@;
printf "ok %d\n",$i++;

##
##
##

testing \&a_subx, '\&';

sub a_subx (\&) {
    print "# \@_ = (",join(",",@_),")\n";
    &{$_[0]};
}

sub tmp_sub_2 { printf "ok %d\n",$i++ }
a_subx &tmp_sub_2;

@array = ( \&tmp_sub_2 );
eval 'a_subx @array';
print "not " unless $@;
printf "ok %d\n",$i++;

##
##
##

testing \&sub_aref, '&\@';

sub sub_aref (&\@) {
    print "# \@_ = (",join(",",@_),")\n";
    my($sub,$array) = @_;
    print "not " unless @_ == 2 && @{$array} == 4;
    print map { &{$sub}($_) } @{$array}
}

@array = (qw(O K)," ", $i++);
sub_aref { lc shift } @array;
print "\n";

##
##
##

testing \&sub_array, '&@';

sub sub_array (&@) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless @_ == 5;
    my $sub = shift;
    print map { &{$sub}($_) } @_
}

@array = (qw(O K)," ", $i++);
sub_array { lc shift } @array;
print "\n";

##
##
##

testing \&a_hash, '%';

sub a_hash (%) {
    print "# \@_ = (",join(",",@_),")\n";
    scalar(@_);
}

print "not " unless 1 == a_hash 'a';
printf "ok %d\n",$i++;

print "not " unless 2 == a_hash 'a','b';
printf "ok %d\n",$i++;

##
##
##

testing \&a_hash_ref, '\%';

sub a_hash_ref (\%) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless ref($_[0]) && $_[0]->{'a'};
    printf "ok %d\n",$i++;
    $_[0]->{'b'} = 2;
}

%hash = ( a => 1);
a_hash_ref %hash;
print "not " unless $hash{'b'} == 2;
printf "ok %d\n",$i++;

##
##
##

testing \&array_ref_plus, '\@@';

sub array_ref_plus (\@@) {
    print "# \@_ = (",join(",",@_),")\n";
    print "not " unless @_ == 2 && ref($_[0]) && 1 == @{$_[0]} && $_[1] eq 'x';
    printf "ok %d\n",$i++;
    @{$_[0]} = (qw(ok)," ",$i++,"\n");
}

@array = ('a');
{ my @more = ('x');
  array_ref_plus @array, @more; }
print "not " unless @array == 4;
print @array;

my $p;
print "not " if defined prototype('CORE::print');
print "ok ", $i++, "\n";

print "not " if defined prototype('CORE::system');
print "ok ", $i++, "\n";

print "# CORE::open => ($p)\nnot " if ($p = prototype('CORE::open')) ne '*;$@';
print "ok ", $i++, "\n";

print "# CORE:Foo => ($p), \$@ => `$@'\nnot " 
    if defined ($p = eval { prototype('CORE::Foo') or 1 }) or $@ !~ /^Can't find an opnumber/;
print "ok ", $i++, "\n";

# correctly note too-short parameter lists that don't end with '$',
#  a possible regression.

sub foo1 ($\@);
eval q{ foo1 "s" };
print "not " unless $@ =~ /^Not enough/;
print "ok ", $i++, "\n";

sub foo2 ($\%);
eval q{ foo2 "s" };
print "not " unless $@ =~ /^Not enough/;
print "ok ", $i++, "\n";

sub X::foo3;
*X::foo3 = sub {'ok'};
print "# $@not " unless eval {X->foo3} eq 'ok';
print "ok ", $i++, "\n";

sub X::foo4 ($);
*X::foo4 = sub ($) {'ok'};
print "not " unless X->foo4 eq 'ok';
print "ok ", $i++, "\n";

# test if the (*) prototype allows barewords, constants, scalar expressions,
# globs and globrefs (just as CORE::open() does), all under stricture
sub star (*&) { &{$_[1]} }
sub star2 (**&) { &{$_[2]} }
sub BAR { "quux" }
sub Bar::BAZ { "quuz" }
my $star = 'FOO';
star FOO, sub { print "ok $i\n" if $_[0] eq 'FOO' }; $i++;
star(FOO, sub { print "ok $i\n" if $_[0] eq 'FOO' }); $i++;
star "FOO", sub { print "ok $i\n" if $_[0] eq 'FOO' }; $i++;
star("FOO", sub { print "ok $i\n" if $_[0] eq 'FOO' }); $i++;
star $star, sub { print "ok $i\n" if $_[0] eq 'FOO' }; $i++;
star($star, sub { print "ok $i\n" if $_[0] eq 'FOO' }); $i++;
star *FOO, sub { print "ok $i\n" if $_[0] eq \*FOO }; $i++;
star(*FOO, sub { print "ok $i\n" if $_[0] eq \*FOO }); $i++;
star \*FOO, sub { print "ok $i\n" if $_[0] eq \*FOO }; $i++;
star(\*FOO, sub { print "ok $i\n" if $_[0] eq \*FOO }); $i++;
star2 FOO, BAR, sub { print "ok $i\n"
			if $_[0] eq 'FOO' and $_[1] eq 'BAR' }; $i++;
star2(Bar::BAZ, FOO, sub { print "ok $i\n"
			if $_[0] eq 'Bar::BAZ' and $_[1] eq 'FOO' }); $i++;
star2 BAR(), FOO, sub { print "ok $i\n"
			if $_[0] eq 'quux' and $_[1] eq 'FOO' }; $i++;
star2(FOO, BAR(), sub { print "ok $i\n"
			if $_[0] eq 'FOO' and $_[1] eq 'quux' }); $i++;
star2 "FOO", "BAR", sub { print "ok $i\n"
			if $_[0] eq 'FOO' and $_[1] eq 'BAR' }; $i++;
star2("FOO", "BAR", sub { print "ok $i\n"
			if $_[0] eq 'FOO' and $_[1] eq 'BAR' }); $i++;
star2 $star, $star, sub { print "ok $i\n"
			if $_[0] eq 'FOO' and $_[1] eq 'FOO' }; $i++;
star2($star, $star, sub { print "ok $i\n"
			if $_[0] eq 'FOO' and $_[1] eq 'FOO' }); $i++;
star2 *FOO, *BAR, sub { print "ok $i\n"
			if $_[0] eq \*FOO and $_[1] eq \*BAR }; $i++;
star2(*FOO, *BAR, sub { print "ok $i\n"
			if $_[0] eq \*FOO and $_[1] eq \*BAR }); $i++;
star2 \*FOO, \*BAR, sub { no strict 'refs'; print "ok $i\n"
			if $_[0] eq \*{'FOO'} and $_[1] eq \*{'BAR'} }; $i++;
star2(\*FOO, \*BAR, sub { no strict 'refs'; print "ok $i\n"
			if $_[0] eq \*{'FOO'} and $_[1] eq \*{'BAR'} }); $i++;

# test scalarref prototype
sub sreftest (\$$) {
    print "ok $_[1]\n" if ref $_[0];
}
{
    no strict 'vars';
    sreftest my $sref, $i++;
    sreftest($helem{$i}, $i++);
    sreftest $aelem[0], $i++;
}

# test prototypes when they are evaled and there is a syntax error
#
for my $p ( "", qw{ () ($) ($@) ($%) ($;$) (&) (&\@) (&@) (%) (\%) (\@) } ) {
  no warnings 'redefine';
  my $eval = "sub evaled_subroutine $p { &void *; }";
  eval $eval;
  print "# eval[$eval]\nnot " unless $@ && $@ =~ /syntax error/;
  print "ok ", $i++, "\n";
}
Commit	Line	Data
28757baa	1	#!./perl
	2	#
	3	# Contributed by Graham Barr <Graham.Barr@tiuk.ti.com>
	4	#
	5	# So far there are tests for the following prototypes.
	6	# none, () ($) ($@) ($%) ($;$) (&) (&\@) (&@) (%) (\%) (\@)
	7	#
	8	# It is impossible to test every prototype that can be specified, but
	9	# we should test as many as we can.
44a8e56a	10	#
44a8e56a	11
0e57f998	12	# XXX known to leak scalars
	13	$ENV{PERL_DESTRUCT_LEVEL} = 0 unless $ENV{PERL_DESTRUCT_LEVEL} > 3;
	14
44a8e56a	15	BEGIN {
44a8e56a	16	chdir 't' if -d 't';
20822f61	17	@INC = '../lib';
44a8e56a	18	}
28757baa	19
	20	use strict;
	21
c2b35b10	22	print "1..122\n";
28757baa	23
	24	my $i = 1;
	25
	26	sub testing (&$) {
	27	my $p = prototype(shift);
	28	my $c = shift;
	29	my $what = defined $c ? '(' . $p . ')' : 'no prototype';
	30	print '#' x 25,"\n";
	31	print '# Testing ',$what,"\n";
	32	print '#' x 25,"\n";
	33	print "not "
	34	if((defined($p) && defined($c) && $p ne $c)
	35	\|\| (defined($p) != defined($c)));
	36	printf "ok %d\n",$i++;
	37	}
	38
	39	@_ = qw(a b c d);
	40	my @array;
	41	my %hash;
	42
	43	##
	44	##
	45	##
	46
	47	testing \&no_proto, undef;
	48
	49	sub no_proto {
	50	print "# \@_ = (",join(",",@_),")\n";
	51	scalar(@_)
	52	}
	53
	54	print "not " unless 0 == no_proto();
	55	printf "ok %d\n",$i++;
	56
	57	print "not " unless 1 == no_proto(5);
	58	printf "ok %d\n",$i++;
	59
	60	print "not " unless 4 == &no_proto;
	61	printf "ok %d\n",$i++;
	62
	63	print "not " unless 1 == no_proto +6;
	64	printf "ok %d\n",$i++;
	65
	66	print "not " unless 4 == no_proto(@_);
	67	printf "ok %d\n",$i++;
	68
	69	##
	70	##
	71	##
	72
	73
	74	testing \&no_args, '';
	75
	76	sub no_args () {
	77	print "# \@_ = (",join(",",@_),")\n";
	78	scalar(@_)
	79	}
	80
	81	print "not " unless 0 == no_args();
	82	printf "ok %d\n",$i++;
	83
	84	print "not " unless 0 == no_args;
	85	printf "ok %d\n",$i++;
	86
87	print "not " unless 5 == no_args +5;
88	printf "ok %d\n",$i++;
89
90	print "not " unless 4 == &no_args;
91	printf "ok %d\n",$i++;
92
93	print "not " unless 2 == &no_args(1,2);
94	printf "ok %d\n",$i++;
95
96	eval "no_args(1)";
97	print "not " unless $@;
98	printf "ok %d\n",$i++;
99
100	##
101	##
102	##
103
104	testing \&one_args, '$';
105
106	sub one_args ($) {
107	print "# \@_ = (",join(",",@_),")\n";
108	scalar(@_)
109	}
110
111	print "not " unless 1 == one_args(1);
112	printf "ok %d\n",$i++;
113
114	print "not " unless 1 == one_args +5;
115	printf "ok %d\n",$i++;
116
117	print "not " unless 4 == &one_args;
118	printf "ok %d\n",$i++;
119
120	print "not " unless 2 == &one_args(1,2);
121	printf "ok %d\n",$i++;
122
123	eval "one_args(1,2)";
124	print "not " unless $@;
125	printf "ok %d\n",$i++;
126
127	eval "one_args()";
128	print "not " unless $@;
129	printf "ok %d\n",$i++;
130
131	sub one_a_args ($) {
132	print "# \@_ = (",join(",",@_),")\n";
133	print "not " unless @_ == 1 && $_[0] == 4;
134	printf "ok %d\n",$i++;
135	}
136
137	one_a_args(@_);
138
139	##
140	##
141	##
142
143	testing \&over_one_args, '$@';
144
145	sub over_one_args ($@) {
146	print "# \@_ = (",join(",",@_),")\n";
147	scalar(@_)
148	}
149
150	print "not " unless 1 == over_one_args(1);
151	printf "ok %d\n",$i++;
152
153	print "not " unless 2 == over_one_args(1,2);
154	printf "ok %d\n",$i++;
155
156	print "not " unless 1 == over_one_args +5;
157	printf "ok %d\n",$i++;
158
159	print "not " unless 4 == &over_one_args;
160	printf "ok %d\n",$i++;
161
162	print "not " unless 2 == &over_one_args(1,2);
163	printf "ok %d\n",$i++;
164
165	print "not " unless 5 == &over_one_args(1,@_);
166	printf "ok %d\n",$i++;
167
168	eval "over_one_args()";
169	print "not " unless $@;
170	printf "ok %d\n",$i++;
171
172	sub over_one_a_args ($@) {
173	print "# \@_ = (",join(",",@_),")\n";
174	print "not " unless @_ >= 1 && $_[0] == 4;
175	printf "ok %d\n",$i++;
176	}
177
178	over_one_a_args(@_);
179	over_one_a_args(@_,1);
180	over_one_a_args(@_,1,2);
181	over_one_a_args(@_,@_);
182
183	##
184	##
185	##
186
187	testing \&scalar_and_hash, '$%';
188
189	sub scalar_and_hash ($%) {
190	print "# \@_ = (",join(",",@_),")\n";
191	scalar(@_)
192	}
193
194	print "not " unless 1 == scalar_and_hash(1);
195	printf "ok %d\n",$i++;
196
197	print "not " unless 3 == scalar_and_hash(1,2,3);
198	printf "ok %d\n",$i++;
199
200	print "not " unless 1 == scalar_and_hash +5;
201	printf "ok %d\n",$i++;
202
203	print "not " unless 4 == &scalar_and_hash;
204	printf "ok %d\n",$i++;
205
206	print "not " unless 2 == &scalar_and_hash(1,2);
207	printf "ok %d\n",$i++;
208
209	print "not " unless 5 == &scalar_and_hash(1,@_);
210	printf "ok %d\n",$i++;
211
212	eval "scalar_and_hash()";
213	print "not " unless $@;
214	printf "ok %d\n",$i++;
215
216	sub scalar_and_hash_a ($@) {
217	print "# \@_ = (",join(",",@_),")\n";
218	print "not " unless @_ >= 1 && $_[0] == 4;
219	printf "ok %d\n",$i++;
220	}
221
222	scalar_and_hash_a(@_);
223	scalar_and_hash_a(@_,1);
224	scalar_and_hash_a(@_,1,2);
225	scalar_and_hash_a(@_,@_);
226
227	##
228	##
229	##
230
231	testing \&one_or_two, '$;$';
232
233	sub one_or_two ($;$) {
234	print "# \@_ = (",join(",",@_),")\n";
235	scalar(@_)
236	}
237
238	print "not " unless 1 == one_or_two(1);
239	printf "ok %d\n",$i++;
240
241	print "not " unless 2 == one_or_two(1,3);
242	printf "ok %d\n",$i++;
243
244	print "not " unless 1 == one_or_two +5;
245	printf "ok %d\n",$i++;
246
247	print "not " unless 4 == &one_or_two;
248	printf "ok %d\n",$i++;
249
250	print "not " unless 3 == &one_or_two(1,2,3);
251	printf "ok %d\n",$i++;
252
253	print "not " unless 5 == &one_or_two(1,@_);
254	printf "ok %d\n",$i++;
255
256	eval "one_or_two()";
257	print "not " unless $@;
258	printf "ok %d\n",$i++;
259
260	eval "one_or_two(1,2,3)";
261	print "not " unless $@;
262	printf "ok %d\n",$i++;
263
264	sub one_or_two_a ($;$) {
265	print "# \@_ = (",join(",",@_),")\n";
266	print "not " unless @_ >= 1 && $_[0] == 4;
267	printf "ok %d\n",$i++;
268	}
269
270	one_or_two_a(@_);
271	one_or_two_a(@_,1);
272	one_or_two_a(@_,@_);
273
274	##
275	##
276	##
277
278	testing \&a_sub, '&';
279
280	sub a_sub (&) {
281	print "# \@_ = (",join(",",@_),")\n";
282	&{$_[0]};
283	}
284
285	sub tmp_sub_1 { printf "ok %d\n",$i++ }
286
287	a_sub { printf "ok %d\n",$i++ };
288	a_sub \&tmp_sub_1;
289
290	@array = ( \&tmp_sub_1 );
291	eval 'a_sub @array';
292	print "not " unless $@;
293	printf "ok %d\n",$i++;
294
295	##
296	##
297	##
298
75fc29ea	299	testing \&a_subx, '\&';
	300
	301	sub a_subx (\&) {
	302	print "# \@_ = (",join(",",@_),")\n";
	303	&{$_[0]};
	304	}
	305
	306	sub tmp_sub_2 { printf "ok %d\n",$i++ }
	307	a_subx &tmp_sub_2;
	308
	309	@array = ( \&tmp_sub_2 );
	310	eval 'a_subx @array';
	311	print "not " unless $@;
	312	printf "ok %d\n",$i++;
	313
	314	##
	315	##
	316	##
	317
28757baa	318	testing \&sub_aref, '&\@';
	319
	320	sub sub_aref (&\@) {
	321	print "# \@_ = (",join(",",@_),")\n";
	322	my($sub,$array) = @_;
	323	print "not " unless @_ == 2 && @{$array} == 4;
	324	print map { &{$sub}($_) } @{$array}
	325	}
	326
	327	@array = (qw(O K)," ", $i++);
	328	sub_aref { lc shift } @array;
	329	print "\n";
	330
	331	##
	332	##
	333	##
	334
	335	testing \&sub_array, '&@';
	336
	337	sub sub_array (&@) {
	338	print "# \@_ = (",join(",",@_),")\n";
	339	print "not " unless @_ == 5;
	340	my $sub = shift;
	341	print map { &{$sub}($_) } @_
	342	}
	343
	344	@array = (qw(O K)," ", $i++);
	345	sub_array { lc shift } @array;
	346	print "\n";
	347
	348	##
	349	##
	350	##
	351
	352	testing \&a_hash, '%';
	353
	354	sub a_hash (%) {
	355	print "# \@_ = (",join(",",@_),")\n";
	356	scalar(@_);
	357	}
	358
	359	print "not " unless 1 == a_hash 'a';
	360	printf "ok %d\n",$i++;
	361
	362	print "not " unless 2 == a_hash 'a','b';
	363	printf "ok %d\n",$i++;
	364
	365	##
	366	##
	367	##
	368
	369	testing \&a_hash_ref, '\%';
	370
	371	sub a_hash_ref (\%) {
	372	print "# \@_ = (",join(",",@_),")\n";
	373	print "not " unless ref($_[0]) && $_[0]->{'a'};
	374	printf "ok %d\n",$i++;
	375	$_[0]->{'b'} = 2;
	376	}
	377
	378	%hash = ( a => 1);
	379	a_hash_ref %hash;
	380	print "not " unless $hash{'b'} == 2;
	381	printf "ok %d\n",$i++;
382
383	##
384	##
385	##
386
69dcf70c	387	testing \&array_ref_plus, '\@@';
28757baa	388
69dcf70c	389	sub array_ref_plus (\@@) {
28757baa	390	print "# \@_ = (",join(",",@_),")\n";
69dcf70c	391	print "not " unless @_ == 2 && ref($_[0]) && 1 == @{$_[0]} && $_[1] eq 'x';
28757baa	392	printf "ok %d\n",$i++;
	393	@{$_[0]} = (qw(ok)," ",$i++,"\n");
	394	}
	395
	396	@array = ('a');
69dcf70c	397	{ my @more = ('x');
69dcf70c	398	array_ref_plus @array, @more; }
28757baa	399	print "not " unless @array == 4;
28757baa	400	print @array;
fb73857a	401
b6c543e3	402	my $p;
	403	print "not " if defined prototype('CORE::print');
	404	print "ok ", $i++, "\n";
	405
	406	print "not " if defined prototype('CORE::system');
	407	print "ok ", $i++, "\n";
	408
1c1fc3ea	409	print "# CORE::open => ($p)\nnot " if ($p = prototype('CORE::open')) ne '*;$@';
b6c543e3	410	print "ok ", $i++, "\n";
	411
	412	print "# CORE:Foo => ($p), \$@ => `$@'\nnot "
ba5aeb3a	413	if defined ($p = eval { prototype('CORE::Foo') or 1 }) or $@ !~ /^Can't find an opnumber/;
b6c543e3	414	print "ok ", $i++, "\n";
b6c543e3	415
fb73857a	416	# correctly note too-short parameter lists that don't end with '$',
	417	# a possible regression.
	418
	419	sub foo1 ($\@);
	420	eval q{ foo1 "s" };
	421	print "not " unless $@ =~ /^Not enough/;
	422	print "ok ", $i++, "\n";
	423
	424	sub foo2 ($\%);
	425	eval q{ foo2 "s" };
	426	print "not " unless $@ =~ /^Not enough/;
	427	print "ok ", $i++, "\n";
57ff9a15	428
	429	sub X::foo3;
	430	*X::foo3 = sub {'ok'};
	431	print "# $@not " unless eval {X->foo3} eq 'ok';
	432	print "ok ", $i++, "\n";
	433
	434	sub X::foo4 ($);
	435	*X::foo4 = sub ($) {'ok'};
	436	print "not " unless X->foo4 eq 'ok';
	437	print "ok ", $i++, "\n";
2ba6ecf4	438
	439	# test if the (*) prototype allows barewords, constants, scalar expressions,
	440	# globs and globrefs (just as CORE::open() does), all under stricture
	441	sub star (*&) { &{$_[1]} }
18228614	442	sub star2 (**&) { &{$_[2]} }
18228614	443	sub BAR { "quux" }
2692f720	444	sub Bar::BAZ { "quuz" }
2ba6ecf4	445	my $star = 'FOO';
2ba6ecf4	446	star FOO, sub { print "ok $i\n" if $_[0] eq 'FOO' }; $i++;
18228614	447	star(FOO, sub { print "ok $i\n" if $_[0] eq 'FOO' }); $i++;
2ba6ecf4	448	star "FOO", sub { print "ok $i\n" if $_[0] eq 'FOO' }; $i++;
18228614	449	star("FOO", sub { print "ok $i\n" if $_[0] eq 'FOO' }); $i++;
2ba6ecf4	450	star $star, sub { print "ok $i\n" if $_[0] eq 'FOO' }; $i++;
18228614	451	star($star, sub { print "ok $i\n" if $_[0] eq 'FOO' }); $i++;
2ba6ecf4	452	star FOO, sub { print "ok $i\n" if $_[0] eq \FOO }; $i++;
18228614	453	star(FOO, sub { print "ok $i\n" if $_[0] eq \FOO }); $i++;
2ba6ecf4	454	star \FOO, sub { print "ok $i\n" if $_[0] eq \FOO }; $i++;
18228614	455	star(\FOO, sub { print "ok $i\n" if $_[0] eq \FOO }); $i++;
	456	star2 FOO, BAR, sub { print "ok $i\n"
	457	if $_[0] eq 'FOO' and $_[1] eq 'BAR' }; $i++;
2692f720	458	star2(Bar::BAZ, FOO, sub { print "ok $i\n"
2692f720	459	if $_[0] eq 'Bar::BAZ' and $_[1] eq 'FOO' }); $i++;
18228614	460	star2 BAR(), FOO, sub { print "ok $i\n"
	461	if $_[0] eq 'quux' and $_[1] eq 'FOO' }; $i++;
	462	star2(FOO, BAR(), sub { print "ok $i\n"
	463	if $_[0] eq 'FOO' and $_[1] eq 'quux' }); $i++;
	464	star2 "FOO", "BAR", sub { print "ok $i\n"
	465	if $_[0] eq 'FOO' and $_[1] eq 'BAR' }; $i++;
	466	star2("FOO", "BAR", sub { print "ok $i\n"
	467	if $_[0] eq 'FOO' and $_[1] eq 'BAR' }); $i++;
	468	star2 $star, $star, sub { print "ok $i\n"
	469	if $_[0] eq 'FOO' and $_[1] eq 'FOO' }; $i++;
	470	star2($star, $star, sub { print "ok $i\n"
	471	if $_[0] eq 'FOO' and $_[1] eq 'FOO' }); $i++;
	472	star2 FOO, BAR, sub { print "ok $i\n"
1c01eb51	473	if $_[0] eq \FOO and $_[1] eq \BAR }; $i++;
18228614	474	star2(FOO, BAR, sub { print "ok $i\n"
1c01eb51	475	if $_[0] eq \FOO and $_[1] eq \BAR }); $i++;
18228614	476	star2 \FOO, \BAR, sub { no strict 'refs'; print "ok $i\n"
1c01eb51	477	if $_[0] eq \{'FOO'} and $_[1] eq \{'BAR'} }; $i++;
18228614	478	star2(\FOO, \BAR, sub { no strict 'refs'; print "ok $i\n"
1c01eb51	479	if $_[0] eq \{'FOO'} and $_[1] eq \{'BAR'} }); $i++;
18228614	480
1c01eb51	481	# test scalarref prototype
	482	sub sreftest (\$$) {
	483	print "ok $_[1]\n" if ref $_[0];
	484	}
	485	{
	486	no strict 'vars';
	487	sreftest my $sref, $i++;
	488	sreftest($helem{$i}, $i++);
	489	sreftest $aelem[0], $i++;
	490	}
c2b35b10	491
c2b35b10	492	# test prototypes when they are evaled and there is a syntax error
5279fd7b	493	#
c2b35b10	494	for my $p ( "", qw{ () ($) ($@) ($%) ($;$) (&) (&\@) (&@) (%) (\%) (\@) } ) {
	495	no warnings 'redefine';
	496	my $eval = "sub evaled_subroutine $p { &void *; }";
	497	eval $eval;
	498	print "# eval[$eval]\nnot " unless $@ && $@ =~ /syntax error/;
	499	print "ok ", $i++, "\n";
	500	}