diff options
| author | Alasdair Armstrong | 2017-04-21 16:38:25 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-04-21 16:38:25 +0100 |
| commit | ddc325b16d34869091ba033c0869052cc9b8c8c1 (patch) | |
| tree | a0eb4f4c0fa51c86ee84c402d8633a8faa2325f7 /src/pretty_print_ocaml.ml | |
| parent | 8f4a6b668e2fa02aa3eb37a62e964e6320b02ee6 (diff) | |
Fixes stack overflow in sail caused by list append in type_internal.ml.
Also makes the check function in type_check tail recursive.
Diffstat (limited to 'src/pretty_print_ocaml.ml')
0 files changed, 0 insertions, 0 deletions