File sub-modules.fmsl, line 10, char 9: Incompatible operand types in an equality expr.