Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
96b1764b
Commit
96b1764b
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-05-17 16:27:50 by beppe] erased debugging code
Original author: beppe Date: 2005-05-17 16:27:50+00:00
parent
58351e91
Changes
1
Hide whitespace changes
Inline
Side-by-side
types/builtin.ml
View file @
96b1764b
...
...
@@ -215,8 +215,7 @@ unary_op_warning "int_of"
(* try Value.Integer (Intervals.V.mk (U.get_str s)) *)
(* UTF-8 is ASCII compatible ! *)
(* modified to allow 0x 0b 0o notations *)
try
Value
.
Integer
(
Intervals
.
V
.
from_int
(
try
int_of_string
(
U
.
get_str
s
)
with
Failure
_
->
raise
exn_int_of
))
try
Value
.
Integer
(
Intervals
.
V
.
from_int
(
int_of_string
(
U
.
get_str
s
)))
with
Failure
_
->
raise
exn_int_of
);;
register_fun
"atom_of"
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment