X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=Parameters.xs;h=c999c9b472a616cb36c29da26572dbc2ce87b5b2;hb=7193dffba45795c249b405f8636d644261380ff0;hp=ec46ef337a6eaa6841c0f2709db57f4a0b9e6b5b;hpb=e6d6238331493d5dadfcfbf7231d9dccb80acd20;p=p5sagit%2FFunction-Parameters.git

diff --git a/Parameters.xs b/Parameters.xs
index ec46ef3..c999c9b 100644
--- a/Parameters.xs
+++ b/Parameters.xs
@@ -85,6 +85,7 @@ WARNINGS_ENABLE
 #define HINTK_FLAGS_   MY_PKG "/flags:"
 #define HINTK_SHIFT_   MY_PKG "/shift:"
 #define HINTK_ATTRS_   MY_PKG "/attrs:"
+#define HINTK_REIFY_   MY_PKG "/reify:"
 
 #define DEFSTRUCT(T) typedef struct T T; struct T
 
@@ -103,6 +104,7 @@ enum {
 
 DEFSTRUCT(KWSpec) {
 	unsigned flags;
+	I32 reify_type;
 	SV *shift;
 	SV *attrs;
 };
@@ -157,67 +159,6 @@ static SV *sentinel_mortalize(Sentinel sen, SV *sv) {
 	return sv;
 }
 
-static int kw_flags(pTHX_ Sentinel sen, const char *kw_ptr, STRLEN kw_len, KWSpec *spec) {
-	HV *hints;
-	SV *sv, **psv;
-	const char *p, *kw_active;
-	STRLEN kw_active_len;
-
-	spec->flags = 0;
-	spec->shift = sentinel_mortalize(sen, newSVpvs(""));
-	spec->attrs = sentinel_mortalize(sen, newSVpvs(""));
-
-	if (!(hints = GvHV(PL_hintgv))) {
-		return FALSE;
-	}
-	if (!(psv = hv_fetchs(hints, HINTK_KEYWORDS, 0))) {
-		return FALSE;
-	}
-	sv = *psv;
-	kw_active = SvPV(sv, kw_active_len);
-	if (kw_active_len <= kw_len) {
-		return FALSE;
-	}
-	for (
-		p = kw_active;
-		(p = strchr(p, *kw_ptr)) &&
-		p < kw_active + kw_active_len - kw_len;
-		p++
-	) {
-		if (
-			(p == kw_active || p[-1] == ' ') &&
-			p[kw_len] == ' ' &&
-			memcmp(kw_ptr, p, kw_len) == 0
-		) {
-
-#define FETCH_HINTK_INTO(NAME, PTR, LEN, X) STMT_START { \
-	const char *fk_ptr_; \
-	STRLEN fk_len_; \
-	SV *fk_sv_; \
-	fk_sv_ = sentinel_mortalize(sen, newSVpvs(HINTK_ ## NAME)); \
-	sv_catpvn(fk_sv_, PTR, LEN); \
-	fk_ptr_ = SvPV(fk_sv_, fk_len_); \
-	if (!((X) = hv_fetch(hints, fk_ptr_, fk_len_, 0))) { \
-		croak("%s: internal error: $^H{'%.*s'} not set", MY_PKG, (int)fk_len_, fk_ptr_); \
-	} \
-} STMT_END
-
-			FETCH_HINTK_INTO(FLAGS_, kw_ptr, kw_len, psv);
-			spec->flags = SvIV(*psv);
-
-			FETCH_HINTK_INTO(SHIFT_, kw_ptr, kw_len, psv);
-			SvSetSV(spec->shift, *psv);
-
-			FETCH_HINTK_INTO(ATTRS_, kw_ptr, kw_len, psv);
-			SvSetSV(spec->attrs, *psv);
-
-#undef FETCH_HINTK_INTO
-			return TRUE;
-		}
-	}
-	return FALSE;
-}
-
 
 #if HAVE_PERL_VERSION(5, 17, 2)
  #define MY_OP_SLABBED(O) ((O)->op_slabbed)
@@ -558,11 +499,23 @@ static SV *parse_type(pTHX_ Sentinel sen, const SV *declarator) {
 	return t;
 }
 
-static SV *reify_type(pTHX_ Sentinel sen, const SV *declarator, SV *name) {
-	SV *t;
+static SV *reify_type(pTHX_ Sentinel sen, const SV *declarator, const KWSpec *spec, SV *name) {
+	AV *type_reifiers;
+	SV *t, *sv, **psv;
 	int n;
 	dSP;
 
+	type_reifiers = get_av(MY_PKG "::type_reifiers", 0);
+	assert(type_reifiers != NULL);
+
+	if (spec->reify_type < 0 || spec->reify_type > av_len(type_reifiers)) {
+		croak("In %"SVf": internal error: reify_type [%ld] out of range [%ld]", SVfARG(declarator), (long)spec->reify_type, (long)(av_len(type_reifiers) + 1));
+	}
+
+	psv = av_fetch(type_reifiers, spec->reify_type, 0);
+	assert(psv != NULL);
+	sv = *psv;
+
 	ENTER;
 	SAVETMPS;
 
@@ -571,7 +524,7 @@ static SV *reify_type(pTHX_ Sentinel sen, const SV *declarator, SV *name) {
 	PUSHs(name);
 	PUTBACK;
 
-	n = call_pv("Moose::Util::TypeConstraints::find_or_create_isa_type_constraint", G_SCALAR);
+	n = call_sv(sv, G_SCALAR);
 	SPAGAIN;
 
 	assert(n == 1);
@@ -773,13 +726,6 @@ static size_t count_named_params(const ParamSpec *ps) {
 	return ps->named_required.used + ps->named_optional.used;
 }
 
-static void my_require(pTHX_ const char *file) {
-	require_pv(file);
-	if (SvTRUE(ERRSV)) {
-		croak_sv(ERRSV);
-	}
-}
-
 static SV *my_eval(pTHX_ Sentinel sen, I32 floor, OP *op) {
 	SV *sv;
 	CV *cv;
@@ -857,7 +803,9 @@ static PADOFFSET parse_param(
 				sentinel_disarm(expr_sentinel);
 			}
 			*ptype = my_eval(aTHX_ sen, floor, expr);
-			*ptype = reify_type(aTHX_ sen, declarator, *ptype);
+			if (!SvROK(*ptype)) {
+				*ptype = reify_type(aTHX_ sen, declarator, spec, *ptype);
+			}
 			if (!sv_isobject(*ptype)) {
 				croak("In %"SVf": (%"SVf") doesn't look like a type object", SVfARG(declarator), SVfARG(*ptype));
 			}
@@ -865,8 +813,7 @@ static PADOFFSET parse_param(
 			c = lex_peek_unichar(0);
 		} else if (MY_UNI_IDFIRST(c)) {
 			*ptype = parse_type(aTHX_ sen, declarator);
-			my_require(aTHX_ "Moose/Util/TypeConstraints.pm");
-			*ptype = reify_type(aTHX_ sen, declarator, *ptype);
+			*ptype = reify_type(aTHX_ sen, declarator, spec, *ptype);
 
 			c = lex_peek_unichar(0);
 		}
@@ -1035,10 +982,11 @@ static void register_info(pTHX_ UV key, SV *declarator, const KWSpec *kws, const
 		mPUSHu(key);
 	}
 	/* 1 */ {
-		size_t n;
+		STRLEN n;
 		char *p = SvPV(declarator, n);
 		char *q = memchr(p, ' ', n);
-		mPUSHp(p, q ? (size_t)(q - p) : n);
+		SV *tmp = newSVpvn_utf8(p, q ? (size_t)(q - p) : n, SvUTF8(declarator));
+		mPUSHs(tmp);
 	}
 	if (!ps) {
 		if (SvTRUE(kws->shift)) {
@@ -1175,6 +1123,9 @@ static int parse_fun(pTHX_ Sentinel sen, OP **pop, const char *keyword_ptr, STRL
 	I32 c;
 
 	declarator = sentinel_mortalize(sen, newSVpvn(keyword_ptr, keyword_len));
+	if (lex_bufutf8()) {
+		SvUTF8_on(declarator);
+	}
 
 	lex_read_space(0);
 
@@ -2001,25 +1952,99 @@ static int parse_fun(pTHX_ Sentinel sen, OP **pop, const char *keyword_ptr, STRL
 	}
 }
 
+static int kw_flags_enter(pTHX_ Sentinel sen, const char *kw_ptr, STRLEN kw_len, KWSpec *spec) {
+	HV *hints;
+	SV *sv, **psv;
+	const char *p, *kw_active;
+	STRLEN kw_active_len;
+	bool kw_is_utf8;
+
+	if (!(hints = GvHV(PL_hintgv))) {
+		return FALSE;
+	}
+	if (!(psv = hv_fetchs(hints, HINTK_KEYWORDS, 0))) {
+		return FALSE;
+	}
+	sv = *psv;
+	kw_active = SvPV(sv, kw_active_len);
+	if (kw_active_len <= kw_len) {
+		return FALSE;
+	}
+
+	kw_is_utf8 = lex_bufutf8();
+
+	for (
+		p = kw_active;
+		(p = strchr(p, *kw_ptr)) &&
+		p < kw_active + kw_active_len - kw_len;
+		p++
+	) {
+		if (
+			(p == kw_active || p[-1] == ' ') &&
+			p[kw_len] == ' ' &&
+			memcmp(kw_ptr, p, kw_len) == 0
+		) {
+			ENTER;
+			SAVETMPS;
+
+			SAVEDESTRUCTOR_X(sentinel_clear_void, sen);
+
+			spec->flags = 0;
+			spec->reify_type = 0;
+			spec->shift = sentinel_mortalize(sen, newSVpvs(""));
+			spec->attrs = sentinel_mortalize(sen, newSVpvs(""));
+
+#define FETCH_HINTK_INTO(NAME, PTR, LEN, X) STMT_START { \
+	const char *fk_ptr_; \
+	STRLEN fk_len_; \
+	I32 fk_xlen_; \
+	SV *fk_sv_; \
+	fk_sv_ = sentinel_mortalize(sen, newSVpvs(HINTK_ ## NAME)); \
+	sv_catpvn(fk_sv_, PTR, LEN); \
+	fk_ptr_ = SvPV(fk_sv_, fk_len_); \
+	fk_xlen_ = fk_len_; \
+	if (kw_is_utf8) { \
+		fk_xlen_ = -fk_xlen_; \
+	} \
+	if (!((X) = hv_fetch(hints, fk_ptr_, fk_xlen_, 0))) { \
+		croak("%s: internal error: $^H{'%.*s'} not set", MY_PKG, (int)fk_len_, fk_ptr_); \
+	} \
+} STMT_END
+
+			FETCH_HINTK_INTO(FLAGS_, kw_ptr, kw_len, psv);
+			spec->flags = SvIV(*psv);
+
+			FETCH_HINTK_INTO(REIFY_, kw_ptr, kw_len, psv);
+			spec->reify_type = SvIV(*psv);
+
+			FETCH_HINTK_INTO(SHIFT_, kw_ptr, kw_len, psv);
+			SvSetSV(spec->shift, *psv);
+
+			FETCH_HINTK_INTO(ATTRS_, kw_ptr, kw_len, psv);
+			SvSetSV(spec->attrs, *psv);
+
+#undef FETCH_HINTK_INTO
+			return TRUE;
+		}
+	}
+	return FALSE;
+}
+
 static int my_keyword_plugin(pTHX_ char *keyword_ptr, STRLEN keyword_len, OP **op_ptr) {
+	Sentinel sen = { NULL };
 	KWSpec spec;
 	int ret;
-	Sentinel sen = { NULL };
-
-	ENTER;
-	SAVETMPS;
 
-	SAVEDESTRUCTOR_X(sentinel_clear_void, sen);
-
-	if (kw_flags(aTHX_ sen, keyword_ptr, keyword_len, &spec)) {
+	if (kw_flags_enter(aTHX_ sen, keyword_ptr, keyword_len, &spec)) {
+		/* scope was entered, 'sen' and 'spec' are initialized */
 		ret = parse_fun(aTHX_ sen, op_ptr, keyword_ptr, keyword_len, &spec);
+		FREETMPS;
+		LEAVE;
 	} else {
+		/* not one of our keywords, no allocation done */
 		ret = next_keyword_plugin(aTHX_ keyword_ptr, keyword_len, op_ptr);
 	}
 
-	FREETMPS;
-	LEAVE;
-
 	return ret;
 }
 
@@ -2057,6 +2082,7 @@ WARNINGS_ENABLE {
 	newCONSTSUB(stash, "HINTK_FLAGS_",   newSVpvs(HINTK_FLAGS_));
 	newCONSTSUB(stash, "HINTK_SHIFT_",   newSVpvs(HINTK_SHIFT_));
 	newCONSTSUB(stash, "HINTK_ATTRS_",   newSVpvs(HINTK_ATTRS_));
+	newCONSTSUB(stash, "HINTK_REIFY_",   newSVpvs(HINTK_REIFY_));
 	/**/
 	next_keyword_plugin = PL_keyword_plugin;
 	PL_keyword_plugin = my_keyword_plugin;