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

Fatal error: Cmmgen.transl_prim_1 #5521

Closed
vicuna opened this issue Mar 6, 2012 · 4 comments
Closed

Fatal error: Cmmgen.transl_prim_1 #5521

vicuna opened this issue Mar 6, 2012 · 4 comments
Labels
back-end bug duplicate

Comments

@vicuna
Copy link

vicuna commented Mar 6, 2012

Original bug ID: 5521
Reporter: @garrigue
Status: closed (set by @xavierleroy on 2012-03-14T08:40:23Z)
Resolution: not a bug
Priority: normal
Severity: minor
Platform: core2 duo
OS: OSX
OS Version: darwin 10.8.0
Version: 3.13.0+dev
Category: back end (clambda to assembly)
Duplicate of: #5519
Monitored by: mehdi

Bug description

While compiling lablGL, I got the following error:

ocamlopt.opt -c -I +labltk -I ../../src togl.ml

Fatal error: Cmmgen.transl_prim_1
Fatal error: exception Misc.Fatal_error

Steps to reproduce

Compile and install ocaml/trunk including labltk.
Compile lablGL.
@vicuna
Copy link
Author

vicuna commented Mar 6, 2012

Comment author: @protz

#5519 ?

@vicuna
Copy link
Author

vicuna commented Mar 6, 2012

Comment author: @garrigue

Indeed, this looks like a duplicate of 5519.
But I fully recompiled ocaml and all the related libraries before getting this error, so I think this one is reproducible...

@vicuna
Copy link
Author

vicuna commented Mar 6, 2012

Comment author: @garrigue

My bad. I completely forgot that I had not recompiled otherlibsopt (including labltk).
So actually recompiling everything should solve the problem.
However, it seems that some magic number should be bumped...

@vicuna
Copy link
Author

vicuna commented Mar 6, 2012

Comment author: mehdi

Could it be r12062 and r12055? I didn't see any magic number bump after those commits.

@vicuna vicuna closed this as completed Mar 14, 2012
@vicuna vicuna mentioned this issue Mar 6, 2012
Closed
@vicuna vicuna added the bug label Mar 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
back-end bug duplicate
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vicuna