• Andrei Paskevich's avatar
    Mlw: local exceptions in the surface language · b3a73a61
    Andrei Paskevich authored
    current syntax is
    
        exception Return (int, ghost bool) in
        ...
        try
          ...
          raise Return (5, false)
          ...
        with
          Return (i, b) -> ...
        ...
    
    These exceptions can carry mutable and non-monomorphic values.
    They can be raised from local functions defined in the scope
    of the exception declaration.
    b3a73a61
ptree.ml 5.8 KB