diff options
| author | Vincent Laporte | 2019-06-25 09:10:44 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-22 12:17:53 +0000 |
| commit | c878a5e2c0c2a01512e263d3ed2dfdd8e611086f (patch) | |
| tree | 90191993778dcf27e3ecaf5c43040cd57a69646d /doc/stdlib/hidden-files | |
| parent | 033021860b2ea6fee901f6c760dcd8292ed07fe5 (diff) | |
[Extraction] Add support for primitive integers
The ExtrOCamlInt63 module can be required to map primitives from the Int63
module to their OCaml implementation (module Uint63 from the kernel).
Diffstat (limited to 'doc/stdlib/hidden-files')
| -rw-r--r-- | doc/stdlib/hidden-files | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index b25104ddb9..46175e37ed 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -12,6 +12,7 @@ plugins/extraction/ExtrHaskellZInteger.v plugins/extraction/ExtrHaskellZNum.v plugins/extraction/ExtrOcamlBasic.v plugins/extraction/ExtrOcamlBigIntConv.v +plugins/extraction/ExtrOCamlInt63.v plugins/extraction/ExtrOcamlIntConv.v plugins/extraction/ExtrOcamlNatBigInt.v plugins/extraction/ExtrOcamlNatInt.v |