| Anonymous | Login | Signup for a new account | 2013-06-20 08:09 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0005498 | OCaml | OCaml typing | public | 2012-02-03 06:49 | 2012-02-03 08:20 | |||
| Reporter | garrigue | |||||||
| Assigned To | garrigue | |||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | 3.11.2 | |||||||
| Target Version | Fixed in Version | 3.13.0+dev | ||||||
| Summary | 0005498: Assert failure in typeclass.ml | |||||||
| Description | Hello 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 Reproduce | Download llpp by git clone git://repo.or.cz/llpp.git [^] and compile with build.sh | |||||||
| Additional Information | Reproduce with 3.12 and trunk too | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
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. |
|
Notes |
|
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 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |