{"action":"created","issue":{"url":"https://api.github.com/repos/fsharp/fsharpbinding/issues/953","labels_url":"https://api.github.com/repos/fsharp/fsharpbinding/issues/953/labels{/name}","comments_url":"https://api.github.com/repos/fsharp/fsharpbinding/issues/953/comments","events_url":"https://api.github.com/repos/fsharp/fsharpbinding/issues/953/events","html_url":"https://github.com/fsharp/fsharpbinding/issues/953","id":58807666,"number":953,"title":"Multiline comments with `//` in them before closing `*)` are broken in GitHub colorization","user":{"login":"latkin","id":5943573,"avatar_url":"https://avatars.githubusercontent.com/u/5943573?v=3","gravatar_id":"","url":"https://api.github.com/users/latkin","html_url":"https://github.com/latkin","followers_url":"https://api.github.com/users/latkin/followers","following_url":"https://api.github.com/users/latkin/following{/other_user}","gists_url":"https://api.github.com/users/latkin/gists{/gist_id}","starred_url":"https://api.github.com/users/latkin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/latkin/subscriptions","organizations_url":"https://api.github.com/users/latkin/orgs","repos_url":"https://api.github.com/users/latkin/repos","events_url":"https://api.github.com/users/latkin/events{/privacy}","received_events_url":"https://api.github.com/users/latkin/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/fsharp/fsharpbinding/labels/Bug","name":"Bug","color":"e11d21"},{"url":"https://api.github.com/repos/fsharp/fsharpbinding/labels/Sublime%20Text","name":"Sublime Text","color":"009800"},{"url":"https://api.github.com/repos/fsharp/fsharpbinding/labels/up-for-grabs","name":"up-for-grabs","color":"eb6420"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-02-24T21:22:33Z","updated_at":"2015-03-09T13:16:32Z","closed_at":"2015-03-03T09:04:15Z","body":"I noticed that the bottom ~75% of https://github.com/Microsoft/visualfsharp/blob/fsharp4/src/fsharp/build.fs#L973 is incorrectly greyed out.\r\n\r\nLooking at the point where it starts, my hunch is that if a `//` sequence is inside a multi-line comment `(* ... *)` it somehow causes the close of the multiline comment to be ignored.\r\n\r\n![image](https://cloud.githubusercontent.com/assets/5943573/6359418/de03dc68-bc27-11e4-93da-8f7b56437dbe.png)"},"comment":{"url":"https://api.github.com/repos/fsharp/fsharpbinding/issues/comments/77850725","html_url":"https://github.com/fsharp/fsharpbinding/issues/953#issuecomment-77850725","issue_url":"https://api.github.com/repos/fsharp/fsharpbinding/issues/953","id":77850725,"user":{"login":"latkin","id":5943573,"avatar_url":"https://avatars.githubusercontent.com/u/5943573?v=3","gravatar_id":"","url":"https://api.github.com/users/latkin","html_url":"https://github.com/latkin","followers_url":"https://api.github.com/users/latkin/followers","following_url":"https://api.github.com/users/latkin/following{/other_user}","gists_url":"https://api.github.com/users/latkin/gists{/gist_id}","starred_url":"https://api.github.com/users/latkin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/latkin/subscriptions","organizations_url":"https://api.github.com/users/latkin/orgs","repos_url":"https://api.github.com/users/latkin/repos","events_url":"https://api.github.com/users/latkin/events{/privacy}","received_events_url":"https://api.github.com/users/latkin/received_events","type":"User","site_admin":false},"created_at":"2015-03-09T13:16:32Z","updated_at":"2015-03-09T13:16:32Z","body":":sparkles:"}}