diff options
| author | Robert Norton | 2017-04-11 14:30:22 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-04-18 13:58:33 +0100 |
| commit | 106d7d8c4793817021d2791159ec373ac36c452d (patch) | |
| tree | 080e099489df2ab2f8dbbd997900ddf2a60cab96 /src/process_file.ml | |
| parent | fea4672ef7e6b1a6ac1c7dfb2c42dccd4e5386d2 (diff) | |
Implement return using an exception caught in the function body. Polymorphic exceptions are not permitted so a local mutable variable, ret, is used in ocaml to store the return value. This avoids having to define a new exception type for each function. Ocaml infers the type of the option when it is assigned at the return site.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions