Mantis - OCaml-Java
Erweiterte Problemanzeige
113 Absturz immer 2013-01-30 12:28 2013-03-07 23:12
chambart  
xclerc  
normal  
erledigt 2.0-early-access  
erledigt  
keine    
keine 2.0-early-access3  
0000113: ocamllex fails on xml-light xml_lexer.mll
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
Problem-Historie
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

Notiz
(0000267)
xclerc   
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