Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Int64 overflow checks
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-04-30 (17:23)
From: Raj B <rajb@r...>
Subject: Int64 overflow checks

I am writing an implementation of the Python programming language in  
OCaml and ran into an interesting issue.

Python allows the programmer to implicitly perform arbitrary-sized  
integer operations by switching internally between its 'int' and  
'long' types. (which seems to translate to OCaml's int64 and BigInt).

I found an OCaml library on a mailing list which checks for overflow  
in 'normal' 32-bit integer operations. How can I check for overflows  
in int64 operations so I can switch to big-int if that happens?