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