float0.bpl(5,1): Error: mismatched types in assignment command (cannot assign int to float (8 24)) float0.bpl(6,1): Error: mismatched types in assignment command (cannot assign real to float (8 24)) float0.bpl(7,1): Error: mismatched types in assignment command (cannot assign float (8 23) to float (8 24)) float0.bpl(8,1): Error: mismatched types in assignment command (cannot assign float (8 23) to float (8 24)) float0.bpl(9,1): Error: mismatched types in assignment command (cannot assign real to float (8 24)) float0.bpl(10,1): Error: mismatched types in assignment command (cannot assign float (8 23) to float (8 24)) float0.bpl(11,23): Error: invalid argument types (float (8 24) and float (8 23)) to binary operator + 7 type checking errors detected in float0.bpl