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
d551a2e8
Commit
d551a2e8
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-11-29 11:26:00 by szach] use a better exception for get_fields
Original author: szach Date: 2003-11-29 11:26:00+00:00
parent
6f9b1a67
Changes
1
Show whitespace changes
Inline
Side-by-side
runtime/value.ml
View file @
d551a2e8
...
...
@@ -33,7 +33,7 @@ let vrecord l =
let
get_fields
=
function
|
Record
map
->
LabelMap
.
mapi_to_list
(
fun
k
v
->
LabelPool
.
value
k
,
v
)
map
|
_
->
assert
false
|
_
->
raise
(
Invalid_argument
"Value.get_fields"
)
let
rec
sequence
=
function
|
[]
->
nil
...
...
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