diff options
| author | Kathy Gray | 2016-07-23 13:16:09 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-07-23 13:16:09 +0100 |
| commit | cc61f795555c6e80f2d82f9b6655a5a3115d50f2 (patch) | |
| tree | 00ce98fd1af0bc40c2ec6f858a200eec278ad9c3 /src/pretty_print.ml | |
| parent | 8702b977b43999f0b203f44074ac0abd3bac0e02 (diff) | |
Add effect annotation for return, and actually keep a return after type check.
Diffstat (limited to 'src/pretty_print.ml')
0 files changed, 0 insertions, 0 deletions