diff options
| author | Adam Izraelevitz | 2021-09-15 11:49:29 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-15 18:49:29 +0000 |
| commit | 1ae18008e18dfe20983a6ba3b2b950f66245e69b (patch) | |
| tree | f17d96d733e54eee5c8dd1551430ac874e10160d /src | |
| parent | c66f0ed24366f8ce0e20a5a420589b8ae01aba77 (diff) | |
Fix higher-kinded types for autoclonetype (#2121)
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/scala/chiselTests/AutoClonetypeSpec.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/scala/chiselTests/AutoClonetypeSpec.scala b/src/test/scala/chiselTests/AutoClonetypeSpec.scala index 57e00e99..fcbc4785 100644 --- a/src/test/scala/chiselTests/AutoClonetypeSpec.scala +++ b/src/test/scala/chiselTests/AutoClonetypeSpec.scala @@ -348,5 +348,18 @@ class AutoClonetypeSpec extends ChiselFlatSpec with Utils { elaborate(new MyModule(UInt(8.W))) } + it should "work for higher-kinded types" in { + class DataGen[T <: Data](gen: T) { + def newType: T = gen.cloneType + } + class MyBundle[A <: Data, B <: DataGen[A]](gen: B) extends Bundle { + val foo = gen.newType + } + class MyModule extends MultiIOModule { + val io = IO(Output(new MyBundle[UInt, DataGen[UInt]](new DataGen(UInt(3.W))))) + io.foo := 0.U + } + elaborate(new MyModule) + } } } |
