jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Raise an error when using linear type without memalloc

Browse source
This commit is contained in:
Cédric Pasteur 2011-05-24 11:15:40 +02:00
parent a48981f72c
commit f0f67dacf4
1 changed files with 13 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
compiler/heptagon/parsing/hept_scoping.ml
View file

@ -45,6 +45,7 @@ struct
| Evariable_already_defined of name | Evariable_already_defined of name
| Econst_variable_already_defined of name | Econst_variable_already_defined of name
| Estatic_exp_expected | Estatic_exp_expected
| Elinear_type_no_memalloc
let message loc kind = let message loc kind =
begin match kind with begin match kind with
@ -75,6 +76,9 @@ struct
| Estatic_exp_expected -> | Estatic_exp_expected ->
eprintf "%aA static expression was expected.@." eprintf "%aA static expression was expected.@."
print_location loc print_location loc
| Elinear_type_no_memalloc ->
eprintf "%aLinearity annotations cannot be used without memory allocation.@."
print_location loc
end; end;
raise Errors.Error raise Errors.Error
@ -404,9 +408,15 @@ let params_of_var_decs =
(translate_type vd.v_loc vd.v_type)) (translate_type vd.v_loc vd.v_type))
let args_of_var_decs = let args_of_var_decs =
List.map (fun vd -> Signature.mk_arg ~linearity:vd.v_linearity let arg_of_vd vd =
(Some vd.v_name) if Linearity.is_linear vd.v_linearity && not !Compiler_options.do_mem_alloc then
(translate_type vd.v_loc vd.v_type)) message vd.v_loc Elinear_type_no_memalloc
else
Signature.mk_arg ~linearity:vd.v_linearity
(Some vd.v_name)
(translate_type vd.v_loc vd.v_type)
in
List.map arg_of_vd
let translate_node node = let translate_node node =
let n = current_qual node.n_name in let n = current_qual node.n_name in