Add test for recursive check for whether BundleType contains flips

1 files changed, 28 insertions, 0 deletions

diff --git a/src/test/scala/firrtlTests/CheckSpec.scala b/src/test/scala/firrtlTests/CheckSpec.scala
new file mode 100644
index 00000000..4a646c38
--- /dev/null
+++ b/src/test/scala/firrtlTests/CheckSpec.scala
@@ -0,0 +1,28 @@
+package firrtlTests
+
+import java.io._
+import org.scalatest._
+import org.scalatest.prop._
+import firrtl.{Parser,Circuit}
+import firrtl.passes.{Pass,ToWorkingIR,CheckHighForm,ResolveKinds,InferTypes,CheckTypes,PassExceptions}
+
+class CheckSpec extends FlatSpec with Matchers {
+  "Connecting bundles of different types" should "throw an exception" in {
+    val passes = Seq(
+      ToWorkingIR,
+      CheckHighForm)
+    val input =
+      """circuit Unit :
+        |  module Unit :
+        |    mem m :
+        |      data-type => {a : {b : {flip c : UInt<32>}}}
+        |      depth => 32
+        |      read-latency => 0
+        |      write-latency => 1""".stripMargin
+    intercept[PassExceptions] {
+      passes.foldLeft(Parser.parse("",input.split("\n").toIterator)) {
+        (c: Circuit, p: Pass) => p.run(c)
+      }
+    }
+  }
+}