search

immler / hol-light

Automatically exported from code.google.com/p/hol-light
Other
0 stars 0 forks source link

Another error in pa_j.ml #4

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. Install the Windows version of OCaml
2. Download Camlp5 and apply all 3 patches, "configure", "make" and "make 
install"
3. Download the HOL Light source and try to "make" it

What is the expected output? What do you see instead?

File "pa_j.ml", line 112, characters 72-74:
Error: This expression has type (string * MLast.ctyp) list
       but is here used with type ('a * MLast.ctyp) list Ploc.vala
make: *** [pa_j.cmo] Error 2

What version of the product are you using? On what operating system?

Windows 7 Professional
OCaml: 3.11.0, MinGW port
Camlp5: 6.02.2-3
HOL Light: revision 86
MSys to run patch, make etc.

Please provide any additional information below.

Original issue reported on code.google.com by gyorokpe...@freemail.hu on 2 Apr 2011 at 4:31

GoogleCodeExporter commented 9 years ago 
Please delete this, I don't know why it was posted twice

Original comment by gyorokpe...@freemail.hu on 2 Apr 2011 at 4:32