Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005498OCamlOCaml typingpublic2012-02-03 06:492012-02-03 08:20
Reportergarrigue 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.2 
Target VersionFixed in Version3.13.0+dev 
Summary0005498: Assert failure in typeclass.ml
DescriptionHello Jacques,

I've hit a:
Fatal error: exception Assert_failure("typing/typeclass.ml", 1401, 18)
while adding some objects/classes to llpp[1],

~$ ocamlc -v
The Objective Caml compiler, version 3.11.2

the code that hits this is at
[1] http://repo.or.cz/w/llpp.git [^]

you'd need to remove coercions for it to trigger, for instance

diff --git a/main.ml b/main.ml
index 818a129..047bd65 100644
--- a/main.ml
+++ b/main.ml
@@ -3634,7 +3634,7 @@ let enterinfomode =
        if Glut.getModifiers () land Glut.active_ctrl = 0
        then
          match key with
- | Glut.KEY_LEFT -> coe (self#updownlevel ~-1)
+ | Glut.KEY_LEFT -> (self#updownlevel ~-1)
          | Glut.KEY_RIGHT -> coe (self#updownlevel 1)
          | _ -> super#special key
        else super#special key

--
malc
Steps To ReproduceDownload llpp by

git clone git://repo.or.cz/llpp.git [^]

and compile with build.sh
Additional InformationReproduce with 3.12 and trunk too
TagsNo tags attached.
Attached Files

- Relationships
related to 0002602closed assert failure in object typing 

-  Notes
(0006872)
garrigue (manager)
2012-02-03 08:04

Unification with an empty object did only check the absence of the first method.
As a result incompatible types could be unified, causing errors later.

Fixed in trunk revision 12111 and 3.12 revision 12112.

- Issue History
Date Modified Username Field Change
2012-02-03 06:49 garrigue New Issue
2012-02-03 06:49 garrigue Status new => assigned
2012-02-03 06:49 garrigue Assigned To => garrigue
2012-02-03 08:04 garrigue Note Added: 0006872
2012-02-03 08:04 garrigue Status assigned => closed
2012-02-03 08:04 garrigue Resolution open => fixed
2012-02-03 08:04 garrigue Fixed in Version => 3.13.0+dev
2012-02-03 08:20 garrigue Relationship added related to 0002602


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker