Buon dì,
ho provato su Arduino Micro un codice di trasmissione infrarossi che mi funzionava su Arduino Uno senza problemi, ma con il micro il led non dà segni di vita.
Mi chiedevo, ma qual'è il pin corretto da utilizzare sul micro con la libreria IrRemote? Sul arduino Uno ho sempre usato il pin 3 digitrale( ho letto da qualche parte che si utilizza il 3) 
Grazie 1000 anticipatamente. 
Arduino Micro usa un altra MCU, ATmega32u4 invece del Atmel328P
Qualcosa dicono qui:
https://github.com/shirriff/Arduino-IRremote/issues/12
Dentro la libreria (file IRRemoteInt.h) c'e' questo:
#elif defined(__AVR_ATmega32U4__)
//#define IR_USE_TIMER1 // tx = pin 14
//#define IR_USE_TIMER3 // tx = pin 9
#define IR_USE_TIMER4_HS // tx = pin 10
Sembra che devi usare il pin 10
Provo con il 10...
Grazie 1000 ti faccio sapere.