Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    Mlw: non-ghost unit expressions have MaskVisible · e12222bc
    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