The language spoken for both boards & environments is "Arduino"
so for this specific case, I don't think knowing the underlying AVR vs pic32 low level specifics should be necessary
since the Arduino sketch is written to use the Arduino servo library and sounds like it works with the servo library on the AVR
based Arduino platform.
From the error messages, the problem is that servo library in the pic32 specific library area is written for the AVR
using AVR specific registers.
While I don't know if the pic32 code servo library code works correctly, the mpide releases
0022 from Aug 2011 or 0023 from Nov 2011 do not contain any AVR code
in the pic32 specific servo library.
The example sketch above does compile with the mpide 0023 from 2011-12-21
(At least on linux - I don't use Windows or Mac OS for anything so I can't speak for those versions)
Note: it failed to compile with mpide 0022 20110822 (header file problems)
--- bill