Yes, Apple II GS had a Pascal OS fully based on it.

http://pascal.hansotten.com/ucsd-p-system/apple-pascal/apple...