it might be an allergic reaction causing the pink mucosa of the surrounding eye tissue to swell up and surround the eye. happened to my brother the first time he smoked pot when he was 12. scared the shit out of me so bad that i told my parents.
That sucks, but is awesome! Did he keep smoking after that, or get in a lot of trouble?