workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing;
authorwenzelm
Tue Jan 25 20:06:32 2011 +0100 (2011-01-25)
changeset 416295490dc4d999d
parent 41628 ed4d793f0c26
child 41630 a7a93df23664
workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing;
src/Pure/PIDE/document.ML
     1.1 --- a/src/Pure/PIDE/document.ML	Mon Jan 24 21:30:33 2011 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Tue Jan 25 20:06:32 2011 +0100
     1.3 @@ -284,6 +284,7 @@
     1.4  fun edit (old_id: version_id) (new_id: version_id) edits state =
     1.5    let
     1.6      val old_version = the_version state old_id;
     1.7 +    val _ = Time.now ();  (* FIXME odd workaround *)
     1.8      val new_version = fold edit_nodes edits old_version;
     1.9  
    1.10      fun update_node name (rev_updates, version, st) =