From 0cc0f717b9702f2e608ea0e7d9e62e09851e90de Mon Sep 17 00:00:00 2001
From: Jonathan Worthington <jnthn@jnthn.net>
Date: Sat, 6 Feb 2010 13:21:10 +0100
Subject: [PATCH] Add back Associative role.

---
 build/Makefile.in            |  1 +
 src/builtins/Associative.pir | 85 ++++++++++++++++++++++++++++++++++++
 2 files changed, 86 insertions(+)
 create mode 100644 src/builtins/Associative.pir

diff --git a/build/Makefile.in b/build/Makefile.in
index dfc1f0355aa..09fc2cc3cb5 100644
--- a/build/Makefile.in
+++ b/build/Makefile.in
@@ -104,6 +104,7 @@ BUILTINS_PIR = \
   src/builtins/Pair.pir \
   src/builtins/Callable.pir \
   src/builtins/Positional.pir \
+  src/builtins/Associative.pir \
   src/builtins/Seq.pir \
   src/builtins/SeqIter.pir \
   src/builtins/Array.pir \
diff --git a/src/builtins/Associative.pir b/src/builtins/Associative.pir
new file mode 100644
index 00000000000..9d7349caa2b
--- /dev/null
+++ b/src/builtins/Associative.pir
@@ -0,0 +1,85 @@
+## $Id$
+
+=head1 NAME
+
+src/classes/Associative.pir - Associative Role
+
+=head1 DESCRIPTION
+
+=cut
+
+.namespace ['Associative[::T]']
+
+.sub '' :load :init
+    # Create a parametric role with 1 possible candidate.
+    .local pmc role
+    .const 'Sub' $P0 = '_Associative_role_body'
+    role = new ['Perl6Role']
+    role.'!add_variant'($P0)
+    set_hll_global 'Associative', role
+.end
+
+
+# This defines the body of the role, which is run per type the role is
+# parameterized with.
+.sub '' :anon :subid('_Associative_role_body')
+    .param pmc type :optional
+
+    # Need to capture the methods that belong in this role.
+    .const 'Sub' $P1 = 'Associative::of'
+    capture_lex $P1
+
+    # Capture type.
+    if null type goto no_type
+    type = type.'WHAT'()
+    goto type_done
+  no_type:
+    type = get_hll_global 'Mu'
+  type_done:
+    .lex 'T', type
+
+    # Create role.
+    .tailcall '!create_parametric_role'("Associative[::T]")
+.end
+.sub '' :load :init
+    .local pmc block, signature
+    .const 'Sub' $P0 = '_Associative_role_body'
+    block = $P0
+    signature = allocate_signature 1
+    setprop block, "$!signature", signature
+    null $P1
+    set_signature_elem signature, 0, "T", SIG_ELEM_IS_OPTIONAL, $P1, $P1, $P1, $P1, $P1, $P1
+.end
+
+
+=head2 Methods
+
+=over
+
+=item of
+
+Returns the type constraining what may be stored.
+
+=cut
+
+.sub 'of' :method :outer('_Associative_role_body') :subid('Associative::of')
+    $P0 = find_lex 'T'
+    .return ($P0)
+.end
+.sub '' :load :init
+    .local pmc block, signature
+    .const 'Sub' block = 'Associative::of'
+    signature = allocate_signature 0
+    setprop block, "$!signature", signature
+.end
+
+=back
+
+=cut
+
+# Local Variables:
+#   mode: pir
+#   fill-column: 100
+# End:
+# vim: expandtab shiftwidth=4 ft=pir:
+