As mentioned in the previous question, OCaml comments are permitted to nest; for example, one can easily comment out a block of code that contains comments, as in the following example from the OCaml Tutorials: 4. This code is broken ( Primality test.) let is prime n note to self: ask about this on the mailing lists xxx; Explain what would be necessary for the scanner in an OCaml interpreter or compiler to correctly recognize nested comments