|
|
back to boardPlease note: comments cannot be nested Okay, I'm posting this so nobody else gets screwed... The problem text fails to mention something very important: comments cannot be nested ! In other words, this: (* blah blah (* blah blah *) blah blah *) is not a representation of a comment inside another, i.e. (* can appear inside a comment without marking the beginning of another comment. Hope this helps. |
|
|