Mantis Bugtracker

Einfache Problemansicht anzeigen Zu Notizen wechseln ] erweiterte Anzeige ] Problem-Historie ] Drucken ]
ID Kategorie Auswirkung Reproduzierbar Meldungsdatum Letzte Aktualisierung
0000113 [OCaml-Java] Absturz immer 2013-01-30 12:28 2013-03-07 23:12
Reporter chambart Anzeigestatus öffentlich  
Bearbeitung durch xclerc
Priorität normal Lösung erledigt  
Status erledigt   Produktversion 2.0-early-access
Zusammenfassung 0000113: ocamllex fails on xml-light xml_lexer.mll
Beschreibung sources of xml-light are at:
http://godi-backup2.camlcity.org/godi-backup/xml-light-2.2.tar.gz [^]

when running ocamllex:
ocamllex xml_lexer.mll
Fatal error: exception Invalid_argument("index out of bounds")

With standard ocaml:
228 states, 1162 transitions, table size 6016 bytes
Zusätzliche Information
Tags Keine Tags zugeordnet.
Angehängte Dateien

- Problem-Beziehungen

-  Notiz
(0000267)
xclerc (Administrator)
2013-01-30 22:05

Thanks for reporting, there is indeed an embarrassing
problem with the handling of large int values. Here is
a minimal repro case:


let x = 4611686018427387903

let f x =
  if x = 4611686018427387903 then
    print_endline "here"
  else
    print_endline "there"

let () = f x

- Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2013-01-30 12:28 chambart Neues Problem
2013-01-30 22:05 xclerc Problemnotiz hinzugefügt: 0000267
2013-01-30 22:05 xclerc Bearbeitung durch => xclerc
2013-01-30 22:05 xclerc Status neu => bestätigt
2013-03-07 23:12 xclerc Status bestätigt => erledigt
2013-03-07 23:12 xclerc Behoben in Version => 2.0-early-access3
2013-03-07 23:12 xclerc Lösung offen => erledigt


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker