Particle Workbench - uint8_t is not a type name

I’ve migrated from Particle Dev, over to the Workbench. Having a couple of issues trying to compile, and perhaps this first example might point to the longer issue of failures I’m having.

“uint8_t is not a type name”
“identifier retained is undefined”

From reading some pointers on these and a couple of other errors I’m getting, I’ve added:
#include <stdint.h>
#include “Particle.h”
#include “application.h”

To no effect. Any ideas? Compiles fine in Particle Dev.

Thanks in advance guys + gals!

Matthew

You should neither need application.h nor stdint.h - #include Particle.h should suffice.

Can you just try the most simple code to see whether the error goes away?

#include <Particle.h>

uint8_t test = 0;
void setup() { }
void loop() { }

Are you building locally or in the cloud?

Good idea. I’ll try it when I get home.

FYI: I’m building against the cloud.