Dear Bill, Thank you very much for your reply and willingness to try to help a foundering newbie.
> Colin, maybe you're getting the bug that I ran into that John fixed > for me. I couldn't see your update, so can you post it here directly? > Which subversion do you have? I just downloaded the latest: My original problem - with PaLab - seems to have been identical to yours. Fixing it - I think - yielded a different problem in my case. I paste my posting to the issues board below. You'll see that I'm using HOL Light subversion 146, and pa_j_3.1x_6.02.2.ml, but now getting a pattern-matching error. > You could try manually copying one of the more recent > versions then doing "make", e.g: > > make clean > cp pa_j_3.1x_6.02.2.ml pa_j.ml > make I've tried this as well now, which also fixes my original problem, but still yields the pattern-matching error. > Make works fine! We take the else fork ocamlc -c -pp "camlp5r > pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I +camlp5 pa_j.ml which is > obviously the one we want, and not the camlp4r fork. To the extent that I can tell, I've never travelled the camlp4 fork. (I've uninstalled camlp4 to prevent conflicts on my system.) Best, and thank you again, Colin [http://code.google.com/p/hol-light/issues/detail?id=2] I have encountered the reported problem with: * Ubuntu 12.04 on 64-bit Intel core i7 vPro * OCaml 3.12.1 * camlp5 6.06 (configured strictly) * HOL Light rev. 146 (via svn) I edited the HOL lines 59 & 60 of Makefile to read: else if test ${CAMLP5_VERSION} = "6.06" -o ${CAMLP5_VERSION} = "6.02.2" -o ${CAMLP5_VERSION} = "6.06" ; \ then cp pa_j_3.1x_6.02.2.ml pa_j.ml; \ This fixes the reported error, but yields a new one: File "pa_j.ml", line 247, characters 4-4723: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: (ExSpw (_, _)|ExRpl (_, _, _)|ExPar (_, _, _)|ExJdf (_, _, _)) File "pa_j.ml", line 514, characters 4-1928: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: StDef (_, _) ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
