Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-04-03 20:58:47 -0700 (Mon, 03 Apr 2006)
Revision: 9016
Log message:

      I finally figured out why I was getting these weird linking errors with
      reflect_ theories! The problem is that since there is no .mli (only .ppi),
      then compiling the .ppo would _both_ produce the .cmx _and_ overwrite the
      .cmi! So anything compiled against the old .cmi (the one created out of .ppi)
      will become stale!
      
      To fix it, I've added "-intf-suffix .ppi" to appropriate reflection rules.