Yeah, but still I am getting the same errors:
../../../build/target/user/platform-6/libuser.a(remocon.o): In function `pulseIn(unsigned short, unsigned char)':
remocon.cpp:70: undefined reference to `GPIO_ReadInputDataBit'
remocon.cpp:77: undefined reference to `GPIO_ReadInputDataBit'
…and I had to include the missing:
STM32_Pin_Info* PIN_MAP = HAL_Pin_Map(); // Pointer required for highest access speed