diff options
Diffstat (limited to 'src/main/scala/firrtl/passes/Checks.scala')
| -rw-r--r-- | src/main/scala/firrtl/passes/Checks.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/firrtl/passes/Checks.scala b/src/main/scala/firrtl/passes/Checks.scala index 215c5425..4c7458bf 100644 --- a/src/main/scala/firrtl/passes/Checks.scala +++ b/src/main/scala/firrtl/passes/Checks.scala @@ -54,8 +54,6 @@ object CheckHighForm extends Pass { class LsbLargerThanMsbException(info: Info, mname: String, op: String, lsb: Int, msb: Int) extends PassException( s"$info: [module $mname] Primop $op lsb $lsb > $msb.") - // TODO FIXME - // - Do we need to check for uniquness on port names? def run(c: Circuit): Circuit = { val errors = new Errors() val moduleGraph = new ModuleGraph @@ -192,6 +190,8 @@ object CheckHighForm extends Pass { } def checkHighFormP(mname: String, names: NameSet)(p: Port): Port = { + if (names(p.name)) + errors.append(new NotUniqueException(NoInfo, mname, p.name)) names += p.name (p.tpe map checkHighFormT(p.info, mname) map checkHighFormW(p.info, mname)) |