---

yaml
---
r: 12470
b: refs/heads/master
c: 658b6a7
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 611061b6c31ec7f96025b07cee53cfb7fe8ee3d9
+refs/heads/master: 658b6a741b7d2bd01c7e14211b4299f12c0a3ebf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/run-pass/module-polymorphism4-files/cat.rs

@@ -0,0 +1,14 @@
+type T = cat;
+
+enum cat {
+    howlycat,
+    meowlycat
+}
+
+fn animal() -> str { "cat" }
+fn talk(c: cat) -> str {
+    alt c {
+      howlycat { "howl" }
+      meowlycat { "meow" }
+    }
+}

trunk/src/test/run-pass/module-polymorphism4-files/dog.rs

@@ -0,0 +1,9 @@
+type T = dog;
+
+enum dog {
+    dog
+}
+
+fn animal() -> str { "dog" }
+fn talk(_d: dog) -> str { "woof" }
+

trunk/src/test/run-pass/module-polymorphism4-files/trait.rs

@@ -0,0 +1,9 @@
+impl talky for T {
+
+    // 'animal' and 'talk' functions are implemented by the module
+    // instantiating the talky trait. They are 'abstract'
+    fn says() -> str {
+        animal() + " says '" + talk(self) + "'"
+    }
+
+}

trunk/src/test/run-pass/module-polymorphism4.rc

@@ -0,0 +1,28 @@
+#[no_core];
+
+
+#[path = "module-polymorphism4-files"]
+mod cat {
+
+    import inst::*;
+
+    #[path = "cat.rs"]
+    mod inst;
+
+    #[path = "trait.rs"]
+    mod trait;
+
+}
+
+#[path = "module-polymorphism4-files"]
+mod dog {
+
+    import inst::*;
+
+    #[path = "dog.rs"]
+    mod inst;
+
+    #[path = "trait.rs"]
+    mod trait;
+
+}

trunk/src/test/run-pass/module-polymorphism4.rs

@@ -0,0 +1,14 @@
+// This isn't really xfailed; it's used by the
+// module-polymorphism.rc test
+// xfail-test
+
+fn main() {
+    import cat::trait::talky;
+    import dog::trait::talky;
+    let cat1 = cat::inst::meowlycat;
+    let cat2 = cat::inst::howlycat;
+    let dog = dog::inst::dog;
+    assert cat1.says() == "cat says 'meow'";
+    assert cat2.says() == "cat says 'howl'";
+    assert dog.says() == "dog says 'woof'";
+}