On 01/30/12 04:11, Daniel Luna wrote: > Just remember to compile your files with debug_info for this to work. > HiPE needs the information in there to do its magic. That's NOT the case! (Daniel may be confusing HiPE with dialyzer.) No special options are needed for this to work. Kostis