some checks for HAS for reprs and types

rakudo · May 21, 2015 · 65aaeec · 65aaeec
1 parent 36a6de1
commit 65aaeec
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/lib/NativeCall.pm b/lib/NativeCall.pm
@@ -471,6 +471,12 @@ sub EXPORT(|) {
             # my $scoped := $<scoped>.ast;
             my Mu $scoped := nqp::atkey(nqp::findmethod($/, 'hash')($/), 'scoped').ast;
             my Mu $attr   := $scoped.ann('metaattr');
+            if $attr.package.REPR ne 'CStruct' && $attr.package.REPR ne 'CUnion' {
+                die "Can only use HAS-scoped attributes in classes with repr CStruct or CUnion, not " ~ $attr.package.REPR;
+            }
+            if nqp::objprimspec($attr.type) != 0 {
+                warn "Useless use of HAS scope on an attribute with type { $attr.type.^name }.";
+            }
             # Mark $attr as inlined, that's why we do all this.
             nqp::bindattr_i(nqp::decont($attr), $attr.WHAT, '$!inlined', 1);
             # make $scoped