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
c15e006c
Commit
c15e006c
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-06-07 21:07:32 by afrisch] Empty log message
Original author: afrisch Date: 2005-06-07 21:07:32+00:00
parent
e62687e8
Changes
2
Hide whitespace changes
Inline
Side-by-side
runtime/value.ml
View file @
c15e006c
...
...
@@ -698,14 +698,12 @@ let cduce2ocaml_char = function
|
Char
c
->
Chars
.
V
.
to_char
c
|
_
->
assert
false
(*
let
ocaml2cduce_bigint
i
=
Integer
(
Intervals
.
V
.
from_bigint
i
)
let
cduce2ocaml_bigint
=
function
|
Integer
i
->
Intervals
.
V
.
get_bigint
i
|
_
->
assert
false
*)
let
ocaml2cduce_atom
ns
l
=
Atom
(
Atoms
.
V
.
mk
(
Ns
.
mk
ns
)
l
)
...
...
runtime/value.mli
View file @
c15e006c
...
...
@@ -121,8 +121,8 @@ val ocaml2cduce_string_utf8 : U.t -> t
val
cduce2ocaml_string_utf8
:
t
->
U
.
t
val
ocaml2cduce_char
:
char
->
t
val
cduce2ocaml_char
:
t
->
char
(*
val ocaml2cduce_bigint : Big_int.big_int -> t
val cduce2ocaml_bigint : t -> Big_int.big_int
*)
val
ocaml2cduce_bigint
:
Big_int
.
big_int
->
t
val
cduce2ocaml_bigint
:
t
->
Big_int
.
big_int
val
ocaml2cduce_option
:
(
'
a
->
t
)
->
'
a
option
->
t
val
cduce2ocaml_option
:
(
t
->
'
a
)
->
t
->
'
a
option
val
ocaml2cduce_wchar
:
int
->
t
...
...
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