diff options
| author | Alasdair Armstrong | 2019-02-25 17:20:52 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-25 17:20:52 +0000 |
| commit | 24223bee0e379a18db010c8b50b1b52110876caf (patch) | |
| tree | e0a23136e1595b34eaf7c6e1f70467c09d7187e1 /src/interactive.mli | |
| parent | a3d3ecd181af670e02d3688b61504bffc23a551b (diff) | |
Allow int-specialization for non-externs only
Add a flag in C backend ctx that allows us to generate arbitrary
precision signed integer types, rather than just int64
Diffstat (limited to 'src/interactive.mli')
0 files changed, 0 insertions, 0 deletions