Erlang/OTP Forums

Author Message

<  Erlang bugs mailing list  ~  typer since R12B-2 cannot annotate multiple files

Guest
Posted: Fri Nov 20, 2009 6:59 am Reply with quote
Guest
There's a bug in typer in R13B02-1, introduced in a refactoring in OTP R12B-2 which causes it to fail to annotate multiple files in one pass. (eg. with --annotate -r src/)

In effect, typer_annotator:write_typed_file/2 (line 285 in the 13.b.2.1 Debian package) assumes that because the TyperAnnDir exists, the file in it called NewFileName exists and so calls

ok = file:delete(NewFileName),

and suffers a badmatch against { error, enoent } if that file does not exist, which happens when you try to annotate multiple files, for the second file in that directory.

Prior to R12B-2, this code was in typer_generator.erl and didn't match the return value of file:delete at all.

As a workaround, precreating the typer_ann directory and touching the appropriate .ann.erl files causes typer to work fine, as far as I can tell.

--
Paul "TBBle" Hampson
Project: Find out what makes things tick
Plan: Stop the ticking...

________________________________________________________________
erlang-bugs mailing list. See http://www.erlang.org/faq.html
erlang-bugs (at) erlang.org

Post received from mailinglist

Display posts from previous:  

All times are GMT
Page 1 of 1
This forum is locked: you cannot post, reply to, or edit topics.

Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum