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
bc4ad733
Commit
bc4ad733
authored
Aug 19, 2014
by
Pietro Abate
Browse files
Minor change
parent
e174dcd5
Changes
3
Hide whitespace changes
Inline
Side-by-side
runtime/eval.ml
View file @
bc4ad733
...
...
@@ -77,7 +77,7 @@ let pp_lambda_env ppf (env,locals) =
let
apply_sigma
sigma
=
function
|
Value
.
Pair
(
v1
,
v2
,
sigma'
)
->
Value
.
Pair
(
v1
,
v2
,
Value
.
comp
sigma
sigma'
)
|
Value
.
Abstraction
(
iface
,
f
,
sigma'
)
->
Value
.
Abstraction
(
iface
,
f
,
Value
.
comp
sigma
sigma'
)
|
Value
.
Abstraction
(
Some
iface
,
f
,
sigma'
)
->
Value
.
Abstraction
(
Some
iface
,
f
,
Value
.
comp
sigma
sigma'
)
|
Value
.
Xml
(
v1
,
v2
,
v3
,
sigma'
)
->
Value
.
Xml
(
v1
,
v2
,
v3
,
Value
.
comp
sigma
sigma'
)
|
Value
.
XmlNs
(
v1
,
v2
,
v3
,
ns
,
sigma'
)
->
Value
.
XmlNs
(
v1
,
v2
,
v3
,
ns
,
Value
.
comp
sigma
sigma'
)
|
Value
.
Record
(
m
,
sigma'
)
->
Value
.
Record
(
m
,
Value
.
comp
sigma
sigma'
)
...
...
runtime/value.ml
View file @
bc4ad733
...
...
@@ -17,7 +17,7 @@ and t =
|
Atom
of
Atoms
.
V
.
t
|
Integer
of
Intervals
.
V
.
t
|
Char
of
Chars
.
V
.
t
|
Abstraction
of
(
Types
.
descr
*
Types
.
descr
)
list
option
*
(
t
->
t
)
*
sigma
|
Abstraction
of
iface
option
*
(
t
->
t
)
*
sigma
|
Abstract
of
Types
.
Abstracts
.
V
.
t
|
String_latin1
of
int
*
int
*
string
*
t
|
String_utf8
of
Utf8
.
uindex
*
Utf8
.
uindex
*
Utf8
.
t
*
t
...
...
runtime/value.mli
View file @
bc4ad733
...
...
@@ -18,7 +18,7 @@ and t =
|
Atom
of
Atoms
.
V
.
t
|
Integer
of
Intervals
.
V
.
t
|
Char
of
Chars
.
V
.
t
|
Abstraction
of
(
Types
.
descr
*
Types
.
descr
)
list
option
*
(
t
->
t
)
*
sigma
|
Abstraction
of
iface
option
*
(
t
->
t
)
*
sigma
|
Abstract
of
Types
.
Abstracts
.
V
.
t
|
String_latin1
of
int
*
int
*
string
*
t
|
String_utf8
of
Utf8
.
uindex
*
Utf8
.
uindex
*
Utf8
.
t
*
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