I ran your latest code with no problems.
Are you testing the output on J1-20 or on pin 16 of the chip?
As a test, you might want to configure the pin as an output and toggling it hi/lo in your for(..) loop to test the pin. Something like this:
void main(void) {
int delay;
SOPT1_COPE = 0; //Disable Watchdog
TPMMODH = 0x27; // set period to x10,000
TPMMODL = 0x09;
TPMC1VH = 0x13; // set duty cycle to x5,000
TPMC1VL = 0x88;
TPMC1SC = 0x24; // set channel 1 for PWM
//TPMC0VH = 0x13; // set duty cycle to x5,000
//TPMC0VL = 0x88;
//!!!!!!!!!!!!!!!!!!! add the following 2 lines !!!!!!!!!!!!!!!!!!
PTADD |= 0x01; // PTA0: output
PTAD |= 0x01; // init to hi state
//!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
//TPMC0SC = 0x00; //0x24; // set channel 0 for PWM
TPMSC = 0x08; // select bus clock and start timer
// toggle PTA0 in loop (approx 5.5 msec period)
for (;
{
delay = 500;
while ( --delay );
PTAD ^= 0x01; // toggle PTA0
}
}