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

Stricter mk_longname.

Browse source
This commit is contained in:
Adrien Guatto 2010-07-19 11:40:55 +02:00
parent fac69ac2fa
commit 2a72628f20
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/global/names.ml
View file

@ -53,6 +53,8 @@ let fullname = function
let mk_longname s =
try
let ind = String.index s '.' in
if ind = 0 || ind = String.length s - 1
then invalid_arg "mk_longname: ill-formed identifier";
let id = String.sub s (ind + 1) (String.length s - ind - 1) in
Modname { qual = String.sub s 0 ind; id = id; }
with Not_found -> Name s