The error appears to be referring to the correct version of ir.ml. It
refers to the underlined characters below (line 566, characters 39-62):
method with_envs (env, rec_env, mutrec_env) =
{< env = env; rec_env = rec_env; mutrec_env = mutrec_env >}
-----------------------
It looks like the compiler thinks this is an equality comparison (hence
the bool type) rather than part of the {< ... >} syntax. I suspect that
Simon may be using an old version of OCaml that doesn't treat this
syntax correctly.
To find out which version of OCaml you have type:
ocamlc -v
at a terminal.
Links 0.5 requires OCaml version 3.10.X to compile. If you have an
earlier or later version then it will probably not compile.
Sam
Ezra Cooper wrote:
Simon,
That's quite odd; I can build Links from both the released version 0.5
and the SVN version. I'm not on the same version of MacOS but as this is
a syntax error that shouldn't make any difference.
Can you double-check that you have a clean version from the website? If
so, send me (off-list) your file ir.ml so I can see if it's different
from what I'm building.
Ezra
Quoting Simon Vansintjan <[email protected]>:
Hello everyone,
I'm having some difficulties making Links on Mac OS X 10.5.1
When I run 'make nc' from the directory, the terminal prints out the
following:
make nc
[...]
File "ir.ml", line 566, characters 39-62:
Error: This expression has type bool but an expression was expected of
type
'a Utility.IntMap.t = 'a Utility.Map.Make(Utility.Int).t
make[1]: *** [ir.cmx] Error 2
make: *** [native-code] Error 2
This is with the most recent version of Links downloaded from
http://groups.inf.ed.ac.uk/links/
I have ocaml installed in /usr/local/bin/ocaml
I'm not that familiar with ml, so I don't know what I should be
looking for
here.
I hope someone can help me,
Simon
_______________________________________________
links-users mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/links-users
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
