-
Andrei Paskevich authored
This makes "let f ... : unit = <effect> ; <ghost effect>" acceptable without ghostness annotation in the result. However, "let f ... : unit = <ghost effect>" is still required to be marked ghost (unless f is a local non-recursive function).
e12222bc