Lo he compilado y funciona todo OK.
Fuentes:
#include <18F4550.h>
#fuses HSPLL,NOMCLR,NOWDT,PROTECT,NOLVP,NODEBUG,USBDIV,PLL5,CPUDIV1,VREGEN
#use delay(clock=8000000)
#use rs232(baud=19200,xmit=pin_c6,rcv=pin_c7) //configuracion del puerto rs232 envia por pin_c6 y recibe por pin_c7
void main()
{
char dato;
while(true)
{
if(kbhit()) {
dato=getc();
printf("\r\nDato recibido: %c",dato); //imprimo datos por RS232;
}
}
}
Adjunto fichero hex
Saludos.