Adding file positions to the internal parse-tree #1222

Merged
merged 2 commits into from Mar 5, 2014
Commits on Mar 5, 2014
  1. @AltGr

    Adding positions to the OPAM parse-tree

    AltGr committed Feb 28, 2014
    This should finally give us proper locations when anything gets wrong in
    a file. I'm confident this will save people more time than it took me to
    add :)
  2. @AltGr

    Be more lax on OPAM files errors

    AltGr committed Mar 4, 2014
    eg print the error but don't block. This will let people fix the
    error and update again. Closes #1125