diff options
| author | Jack Koenig | 2020-05-08 23:31:36 -0700 |
|---|---|---|
| committer | Jack Koenig | 2020-05-08 23:31:36 -0700 |
| commit | 8576a68e0d4eb4a24533d6e7d0c14cdfea2eda27 (patch) | |
| tree | 0882024cbe79eefc5c04c0b73441cb5aeece69a9 | |
| parent | ba03e2f6d36ea96089738965b33911c4a6e30151 (diff) | |
Lazily generate more detailed error messages in CheckHighFormLike
Don't serialize Expressions unless there is an error
| -rw-r--r-- | src/main/scala/firrtl/passes/CheckHighForm.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/firrtl/passes/CheckHighForm.scala b/src/main/scala/firrtl/passes/CheckHighForm.scala index 25bfc20b..6f8f6a8c 100644 --- a/src/main/scala/firrtl/passes/CheckHighForm.scala +++ b/src/main/scala/firrtl/passes/CheckHighForm.scala @@ -151,14 +151,14 @@ trait CheckHighFormLike { this: Pass => case _ => // Do Nothing } - def checkHighFormW(info: Info, mname: String)(w: Width): Unit = { + def checkHighFormW(info: Info, mname: => String)(w: Width): Unit = { w match { case wx: IntWidth if wx.width < 0 => errors.append(new NegWidthException(info, mname)) case wx => // Do nothing } } - def checkHighFormT(info: Info, mname: String)(t: Type): Unit = { + def checkHighFormT(info: Info, mname: => String)(t: Type): Unit = { t foreach checkHighFormT(info, mname) t match { case tx: VectorType if tx.size < 0 => |
