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

Call Modules.find_const

Browse source 
The exception is intercepted at the level of the
find_const that was redefined in Typing otherwise
This commit is contained in:
Cédric Pasteur 2010-07-27 14:12:11 +02:00
parent 2e44402b03
commit eb0db1dafc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/analysis/typing.ml
View file

@ -449,7 +449,7 @@ and typing_static_exp const_env se =
| Sfloat v -> Sfloat v, Tid Initial.pfloat
| Svar ln ->
(try (* this can be a global const*)
let { qualid = q; info = cd } = find_const ln in
let { qualid = q; info = cd } = Modules.find_const ln in
Svar (Modname q), cd.Signature.c_type
with Not_found -> (* or a static parameter *)
(match ln with