0000113: ocamllex fails on xml-light xml_lexer.mll

Erweiterte Problemanzeige [ Zu Notizen wechseln ]

[ einfache Anzeige ] [ Problem-Historie ] [ Drucken ]

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

Rechnertyp

Status

erledigt

Betriebssystem

Projektion

keine

BS-Version

Aufwand

keine

Behoben in Version

2.0-early-access3

Produktversion

2.0-early-access

Zielversion

Produkt-Build

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

Schritte zur Reproduktion

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[^]