File content as of revision 0:9ba1d65b12c1:

#include "mbed.h"

/*------------------------------------------------------------------------------
Before to use this example, ensure that you an hyperterminal installed on your
computer. More info here: https://developer.mbed.org/handbook/Terminals

The default serial comm port uses the SERIAL_TX and SERIAL_RX pins (see their
definition in the PinNames.h file).

The default serial configuration in this case is 9600 bauds, 8-bit data, no parity

If you want to change the baudrate for example, you have to redeclare the
serial object in your code:

Serial pc(SERIAL_TX, SERIAL_RX);

Then, you can modify the baudrate and print like this:

pc.baud(115200);
pc.printf("Hello World !\n");
------------------------------------------------------------------------------*/

DigitalIn IR(PB_3);

BusOut leds(PB_4, PB_5, PA_11, PA_8);

int main()
{

    /* Optional: set mode as PullUp/PullDown/PullNone/OpenDrain */
    IR.mode(PullNone);

    while(1) {
        printf("IR has value of %d \n", IR.read());
        if (IR.read() == 0) {
            leds = 0xff;
            printf("leds are ON \n");
        } else {
            leds = 0x00;
            printf("leds are OFF \n");
        }
    }
}