I think most likely it would have just been some slight communications issue (either Bluetooth, or Internet) when the Web IDE connected to Puck.js.
Basically when the IDE connects it asks the device what it is - then it can look online and find out what modules are built in to that device, so it knows what it needs to load in and what it doesn't.
If there's some issue with that then the IDE won't know, and will try to load modules that are actually built in. The code will all still work - it's just that you get the yellow warning in the IDE.
To fix it, all you'd need to do is disconnect and reconnect so the IDE can figure out it's talking to a Puck.js. The next upload after that should be fine.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I think most likely it would have just been some slight communications issue (either Bluetooth, or Internet) when the Web IDE connected to Puck.js.
Basically when the IDE connects it asks the device what it is - then it can look online and find out what modules are built in to that device, so it knows what it needs to load in and what it doesn't.
If there's some issue with that then the IDE won't know, and will try to load modules that are actually built in. The code will all still work - it's just that you get the yellow warning in the IDE.
To fix it, all you'd need to do is disconnect and reconnect so the IDE can figure out it's talking to a Puck.js. The next upload after that should be fine.