my ($message, $optimized);
for (@_) {
- $message = $_->{message} if exists $_->{message};
+ $message = $_->{message} if exists $_->{message};
$optimized = $_->{optimized} if exists $_->{optimized};
}
# type constructors
-sub type ($$) {
- my ($name, $check) = @_;
- _create_type_constraint($name, undef, $check);
+sub type ($$;$$) {
+ my ($name, $check, @rest) = @_;
+ _create_type_constraint($name, undef, $check, @rest);
}
sub subtype ($$;$$$) {