checking package dependencies
compiling MulPosZeroPosInf.bsv
code generation for sysMulPosZeroPosInf starts
Error: "MulPosZeroPosInf.bsv", line 8, column 23: (G0114)
  A multiplication operator was applied to zero and infinity during
  elaboration.
  During elaboration of the body of rule `r' at "MulPosZeroPosInf.bsv", line
  10, column 10.
  During elaboration of `sysMulPosZeroPosInf' at "MulPosZeroPosInf.bsv", line
  4, column 8.