search

KeJemas / google-code-prettify

Automatically exported from code.google.com/p/google-code-prettify
Apache License 2.0
0 stars 0 forks source link

// is handled as line comment in ML #322

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?

Any ML source code containing `//`.

What is the expected output?  What do you see instead?

`//` should be a normal operator (like `+`) but is printed as if it was a line 
comment. Typical members of the ML family, like Standard ML, OCaml, ..., do not 
have line comments, they only have block comments with `(*` and `*)`.

Original issue reported on code.google.com by c.sterna...@gmail.com on 17 Dec 2013 at 12:36