infrared LED doesn't seem to light up

The function pulseIR() is empty... so although you're calling it, it does nothing.

void pulseIR (long microsecs)
{
}

Have a look at this example at adafruit. About half-way down, you'll see code inside that function that creates a 38kHz carrier. If yours isn't 38kHz (some aren't), then you just adjust the delayMicroseconds() for the high ands lows.