---

yaml
---
r: 383
b: refs/heads/master
c: f282c5c
h: refs/heads/master
i:
  381: 7e0bc73
  379: db71a96
  375: 34bf788
  367: a1bd656
  351: f01db02
  319: 9654e24
  255: 37303de
v: v3

Author: froystig

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a9ad2e98e3995eac620add75d9e93d1625dcf9ef
+refs/heads/master: f282c5ccc001ba377dfeee6f347ef56b73c86f4e

trunk/src/Makefile

@@ -415,6 +415,7 @@ TEST_XFAILS_LLVM := $(addprefix test/run-pass/, \
                       generic-obj.rs \
                       generic-recursive-tag.rs \
                       generic-tag-alt.rs \
+                      generic-tag-values.rs \
                       generic-tag.rs \
                       i32-sub.rs \
                       i8-incr.rs \

trunk/src/boot/me/trans.ml

@@ -3082,8 +3082,11 @@ let trans_visitor
           let sub_dst_cell = get_element_ptr_dyn ty_params dst i in
           let sub_src_cell = get_element_ptr_dyn ty_params src i in
             trans_copy_ty
-              ty_params initializing
-              sub_dst_cell ty sub_src_cell ty None
+              ty_params
+              initializing
+              sub_dst_cell ty
+              sub_src_cell ty
+              None
       end
       tys
 
@@ -5064,10 +5067,12 @@ let trans_visitor
       Array.iteri
         begin
           fun i sloti ->
-            let slot = sloti.node in
+            let slot = get_slot cx sloti.id in
             let ty = slot_ty slot in
-              trans_copy_ty ty_params true
-                (get_element_ptr_dyn_in_current_frame tag_body_cell i) ty
+              trans_copy_ty
+                ty_params
+                true
+                (get_element_ptr_dyn ty_params tag_body_cell i) ty
                 (deref_slot false (cell_of_block_slot sloti.id) slot) ty
                 None;
         end

trunk/src/test/run-pass/generic-tag-values.rs

@@ -0,0 +1,23 @@
+// -*- rust -*-
+
+type noption[T] = tag(some(T));
+
+fn main() {
+  let noption[int] nop = some[int](5);
+  alt (nop) {
+    case (some[int](n)) {
+      log n;
+      check (n == 5);
+    }
+  }
+
+  let noption[tup(int, int)] nop2 = some[tup(int, int)](tup(17, 42));
+  alt (nop2) {
+    case (some[tup(int, int)](t)) {
+      log t._0;
+      log t._1;
+      check (t._0 == 17);
+      check (t._1 == 42);
+    }
+  }
+}