Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
7addffd8
Commit
7addffd8
authored
Mar 13, 2020
by
erwan
Browse files
Update: handle the Data.Str that was added to lutils in 8619aa285ca8322ab9
parent
336c5f71
Pipeline
#38984
passed with stages
in 4 minutes and 17 seconds
Changes
1
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
lib/lutin/value.ml
View file @
7addffd8
...
...
@@ -51,7 +51,7 @@ let (from_data_val : Data.v -> t) =
|
Data
.
I
i
->
N
(
I
(
Num
.
num_of_int
i
))
|
Data
.
F
f
->
N
(
F
f
)
|
Data
.
U
->
failwith
"undefined variable"
|
(
Data
.
E
(
_
,
_
)
|
Data
.
A
_
|
Data
.
S
_
)
->
assert
false
|
(
Data
.
E
(
_
,
_
)
|
Data
.
A
_
|
Data
.
S
_
|
Data
.
Str
_
)
->
assert
false
(* exported *)
let
(
num_value_to_string
:
num
->
string
)
=
fun
n
->
...
...
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