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
1ca15941
Commit
1ca15941
authored
Mar 28, 2014
by
Julien Lopez
Browse files
[TESTS][EVAL][MINOR] Bug fix
parent
29949bdc
Changes
1
Hide whitespace changes
Inline
Side-by-side
tests/eval/src/compile.ml
View file @
1ca15941
...
...
@@ -41,7 +41,7 @@ let parse_to_lambda expr =
fill_params
interface
[
||
]
1
in
let
new_env
=
mk_env
~
parent
:
(
Some
env
)
~
max_size
:
env
.
max_size
~
map
:
map
nbrparams
(
env
.
global_size
+
nbrparams
+
1
)
in
nbrparams
(
env
.
global_size
+
nbrparams
)
in
let
brs
=
compile_func_body
new_env
body
in
Abstraction
(
params
,
[]
,
brs
,
nbrparams
,
true
,
List
[[]])
|
Var
(
vname
)
->
(
try
let
index
=
env_find
env
vname
in
Var
(
Local
(
index
))
...
...
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