diff options
| author | Brian Campbell | 2017-12-07 13:31:46 +0000 |
|---|---|---|
| committer | Brian Campbell | 2017-12-07 13:31:46 +0000 |
| commit | 19386b2b3e595e4b5bc95dfd06fb9d32d786143e (patch) | |
| tree | 2c8ce6c528c705479ea2cbeffa297db3689a07c7 /src/process_file.ml | |
| parent | 691efa994a72d0e9cdbcdfcc4d6a9b1976d91e2b (diff) | |
Support monomorphisation with set constrained integers
Also, to support this,
constant propagation for integer multiply,
fix substitution of concrete values for nvars,
size parameters in single argument functions,
fix kind for itself,
add eq_atom to prelude
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions