Should a MultiInfo be recovered when serializing and parsing?

Currently a MultiInfo gets serialized in such a way that it is impossible to recover:

val info = MultiInfo(Seq(MultiInfo(Seq(FileInfo("a"))), FileInfo("b"), FileInfo("c")))

serializes to @[a b c] which is then parsed as FileInfo("a b c").

Is this the expected behavior?

[ekiwi-sifive]

Pedantically, file.scala 1:23] @[other.scala 3:45 is a valid filename… (The number of sharp edges here is astronomical.)

Yes, but then it would be encoded as file.scala 1:23\] @[other.scala 3:45 (note the escaped \]). This isn’t the case in the current release but it will be fixed once my PR (https://github.com/freechipsproject/firrtl/pull/1690) is merged.

[seldridge]

Pedantically, file.scala 1:23] @[other.scala 3:45 is a valid filename… (The number of sharp edges here is astronomical.)

A perhaps naive approach would be to go to URIs/URLs to represent the file. This should make spaces actually work as identifiers here.

Java seems to let you go back and forth pretty easy:

@ val foo = new java.io.File("file.scala 1:23] @[other.scala 3:45") 
foo: java.io.File = file.scala 1:23] @[other.scala 3:45

@ val fooURI = foo.toURI 
fooURI: java.net.URI = file:/home/schuyler/repos/github.com/freechipsproject/chisel3/file.scala%201:23%5D%20@%5Bother.scala%203:45

@ val bar = new java.io.File(fooURI) 
bar: java.io.File = /home/schuyler/repos/github.com/freechipsproject/chisel3/file.scala 1:23] @[other.scala 3:45