diff options
| author | Maxime Dénès | 2014-04-08 20:42:46 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-04-09 01:05:48 -0400 |
| commit | 43fbb57e7982c028ee0c74b0252f24fef29a68a4 (patch) | |
| tree | ec16018c2726b025d5573e83a8f8c10517ecd63f /kernel/nativevalues.ml | |
| parent | d356af7f7d8601f4897978587429297d05a934ce (diff) | |
Optimizing Int31 support in native compiler, by not tagging
applications of I31 constructor as lazy.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions