Disrupted highlighting issue

[jonsterling]

I am finding that for some reasons, certain lines of my code cause highlighting for the next several lines (or even the remainder of the file) to get disrupted; for instance, in the following code block:

  let rty = Tm.make @@ Tm.Rst {ty; sys} in
  M.lift C.ask >>= fun psi ->
  M.lift @@ U.guess psi ~ty0:rty ~ty1:ty tm C.ret >>= fun tm' ->
  M.lift C.go_right >>
  M.ret tm'

the last four lines don't get highlighted; if I delete the first line, then they are highlighted. Here's a link to a file that has a lot of such problems, in case it helps with diagnosis: https://gist.github.com/jonsterling/5148b7a980d99eeb6bf3afb798f00947