diff options
| author | Emilio Jesus Gallego Arias | 2018-09-18 20:40:51 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-09-29 19:11:31 +0200 |
| commit | 1c82abbdec8df7cccc886db74ca1c9f596302ce1 (patch) | |
| tree | eba09482d20b5613675eca144b34f404bf11f667 /kernel/nativelambda.ml | |
| parent | 081326a7b2c64e8620777aeae7e2275144b65b4b (diff) | |
[classes] Split large `new_instance` function up.
`Classes.new_instance` is one of the largest functions of the
codebase; we split it up and reduce indentation.
This will help further cleanups. This PR should introduce no code
changes other than splitting the function up.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions