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

Jump to bottom

Seemingly bogus error report #4115

Closed
vicuna opened this issue Sep 13, 2006 · 2 comments
Closed

Seemingly bogus error report #4115

vicuna opened this issue Sep 13, 2006 · 2 comments
Labels
bug

Comments

@vicuna
Copy link

vicuna commented Sep 13, 2006

Original bug ID: 4115
Reporter: norm
Status: closed (set by @damiendoligez on 2006-09-15T11:22:16Z)
Resolution: not a bug
Priority: normal
Severity: major
Version: 3.09.2
Category: ~DO NOT USE (was: OCaml general)

Bug description

I interactively enter a module type and a functor and both are accepted.
I enter a slightly modified functor with one string expression substituted for another and a subsequent expression is then declared to be of the wrong type.
Details are included as comments in program.

When I try to further shrink the program the behavior changes.
The above behavior is reproducible and involves the least code.

Additional information

I am running Mac OS 10.4.7 on a PowerBook with Intel duo processors.
I think that ocaml is compiled for the PPC and that I am running with Rosetta.
I have a moderately complex ocaml program running--see http://cap-lore.com/MathPhys/Algebras/ocaml/.
I was trying to add print statements when I encountered the problem.

If this behavior does not fail on a PPC Mac then this bug should go to Apple.
Failing code at http://cap-lore.com/MathPhys/Algebras/ocaml/codey.txt and attached too.

File attachments
@vicuna
Copy link
Author

vicuna commented Sep 15, 2006

Comment author: norm

I am the originator and I now think this is not a bug, but a confusion on my part of precedence of semi-colon.
Sorry.
I move that the 'bug' be closed.

@vicuna
Copy link
Author

vicuna commented Sep 15, 2006

Comment author: @damiendoligez

In your code, the "str" function used in the definition of ( * )
is in fact Alg.str, not the "str" that's defined a few lines
later.

It would be better for readability to remove the "open Alg" line,
and use Alg.conj, Alg.str, etc.

Then you can define your functions with several "let" constructs
in order to use the new "str" inside the definition of ( * ).

I don't see any problem with the precedence of ; in this code.

@vicuna vicuna closed this as completed Sep 15, 2006
@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
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vicuna