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

No need to call message directly

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-27 14:14:24 +02:00
parent 69270e9eb1
commit 5b628d3c16
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -455,8 +455,8 @@ and typing_static_exp const_env se =
(match ln with
| Name n ->
(try Svar ln, NamesEnv.find n const_env
with Not_found -> message se.se_loc (Eundefined_const ln))
| Modname _ -> message se.se_loc (Eundefined_const ln))
with Not_found -> error (Eundefined_const ln))
| Modname _ -> error (Eundefined_const ln))
)
| Sconstructor c ->
let { qualid = q; info = ty } = find_constr c in