Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamlopt.opt fails on powerpc linux #3208

Closed
vicuna opened this issue Feb 15, 2002 · 0 comments
Closed

ocamlopt.opt fails on powerpc linux #3208

vicuna opened this issue Feb 15, 2002 · 0 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Feb 15, 2002

Original bug ID: 897
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Eric C. Cooper
Version: 3.04
OS: Linux 2.4.17 (ppc)
Submission from: 12-226-37-231.client.attbi.com (12.226.37.231)

I have reproduced these bugs with both the Debian "unstable" ocaml 3.04-4
package and with a system compiled from the INRIA tarball.

BUG #1: ocamlopt.opt goes into infinite loop on nonexistent input file

$ ls -l no.ml
ls: no.ml: No such file or directory
$ ocamlopt -c no.ml
I/O error: no.ml: No such file or directory
$ ocamlopt.opt -c no.ml

Some filenames, i.e. "none.ml", will work correctly.

BUG #2: ocamlopt.opt goes into infinite loop on trivial input file

$ cat foo.ml
let _ = ()
$ ocamlopt.opt -c foo.ml

Note that the following compiles
$ cat test.ml
val x : unit
$ ocamlopt.opt -c test.ml
$

But adding the "-i" flag makes it loop:
$ ocamlopt.opt -i -c test.ml

BUG #3

With a longer program, ocamlopt.opt complains about a non-existent type error:
$ ocamlopt -c util.ml
$ ocamlopt.opt -c util.ml
File "util.ml", line 193, characters 14-25:
The constructor :: expects 2 argument(s),
but is here applied to 3 argument(s)

I can provide the source file on request, but I expect it is probably a symptom
of the same bug as #1 and #2.

@vicuna vicuna closed this as completed Feb 19, 2002
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant