Add NQPNativeHOW meta-object for native types and native package decl…

…arator to go with it.

build/Makefile.in

@@ -163,7 +163,9 @@ METAMODEL_OBJS   = ../metamodel/rakudoobject$(O) ../metamodel/repr_registry$(O)
                    ../metamodel/multi_dispatch$(O)
 
 HOW_SOURCES  = src/metamodel/how/KnowHOWAttribute.pm src/metamodel/how/NQPClassHOW.pm \
-               src/metamodel/how/NQPAttribute.pm src/metamodel/how/NQPMu.pm
+               src/metamodel/how/NQPNativeHOW.pm src/metamodel/how/NQPAttribute.pm \
+               src/metamodel/how/NQPMu.pm
+
 HOW_COMBINED = src/gen/how.pm
 
 

src/NQP/Actions.pm

@@ -374,6 +374,7 @@ method package_declarator:sym<knowhow>($/) { make package($/); }
 method package_declarator:sym<class>($/)   { make package($/) }
 method package_declarator:sym<grammar>($/) { make package($/) }
 method package_declarator:sym<role>($/)    { make package($/); }
+method package_declarator:sym<native>($/)  { make package($/); }
 
 sub package($/) {
     my @ns := pir::clone__PP($<package_def><name><identifier>);

src/NQP/Grammar.pm

@@ -14,6 +14,7 @@ method TOP() {
     %*HOW<class>   := 'NQPClassHOW';
     %*HOW<grammar> := 'NQPClassHOW';
     %*HOW<role>    := 'NQPRoleHOW';
+    %*HOW<native>  := 'NQPNativeHOW';
 
     # What attribute class to use with what HOW, plus a default.
     my $*DEFAULT-METAATTR := 'NQPAttribute';
@@ -298,6 +299,11 @@ token package_declarator:sym<role> {
     :my $*PKGDECL := 'role';
     <sym> <package_def>
 }
+token package_declarator:sym<native> {
+    :my $*PACKAGE-SETUP := PAST::Stmts.new();
+    :my $*PKGDECL := 'native';
+    <sym> <package_def>
+}
 
 rule package_def {
     <name>

src/metamodel/how/NQPNativeHOW.pm

@@ -0,0 +1,38 @@
+knowhow NQPNativeHOW {
+    has $!name;
+    has $!composed;
+
+    method new(:$name) {
+        my $obj := pir::repr_instance_of__PP(self);
+        $obj.BUILD(:name($name));
+        $obj
+    }
+
+    method BUILD(:$name) {
+        $!name := $name;
+    }
+
+    # Create a new meta-class instance, and then a new type object
+    # to go with it, and return that.
+    # XXX Should check that this is an inlineable REPR.
+    method new_type(:$name = '<anon>', :$repr!) {
+        my $metaclass := self.new(:name($name));
+        pir::repr_type_object_for__PPS($metaclass, $repr);
+    }
+
+    method add_method($obj, $name, $code_obj) {
+        pir::die("Native types may not have methods (must be boxed to call method)");
+    }
+
+    method add_multi_method($obj, $name, $code_obj) {
+        pir::die("Native types may not have methods (must be boxed to call method)");
+    }
+
+    method add_attribute($obj, $meta_attr) {
+        pir::die("Native types may not have attributes");
+    }
+
+    method compose($obj) {
+        $!composed := 1;
+    }
+}