/* * assign a constant to another constant of wrong type */ module const_assignment_from_another_constant; const N : integer = 20; B : boolean = false; M : integer = B; // this should be an error, as the types don't match begin end