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

Bug description

Full_Name: Sebastien Ailleret
Version: 3.05
OS: linux
Submission from: 193.253.33.41 (193.253.33.41)

Bonjour,

Je suis un grand fan de Caml qui essaye d'introduire ce magnifique langage chez
un grand constructeur automobile :-)

Alors que je pensais que le changement de version serait une formalité (en
utilisant les rpms), voici les problemes que j'ai rencontre :

• le rpm s'installe sans probleme (rpm pour rh73 sur rh72 tres patchee), et la
  compilation marche tres bien. Cependant, a l'execution, plantage immédiat
  (section 'IM' is missing en bytecode, seg fault en opt). J'ai donc installe à
  partir du source.

• le programme suivant, qui fonctionnait sous 3.04, provoque un assert false :
  type t = Uin | Uout
  let rec manage_utils = function
  | ((i, Uin) | (i, Uout)), Uout -> ()
  | ((i, Uin) | (i, Uout)), Uin -> ()

Sincerement

Sebastien