X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Ffixpoint.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Ffixpoint.ml;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=c33b74d5d0a74df7380d1ba0f41d07e8f5f62808;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/fixpoint.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/fixpoint.ml
deleted file mode 100644
index c33b74d5d..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/fixpoint.ml
+++ /dev/null
@@ -1,30 +0,0 @@
-(* $Id$ *)
-
-open GMain
-
-let rec fix ~f ~eq x =
-  let x' = f x in
-  if eq x x' then x
-  else fix ~f ~eq x'
-
-let eq_float x y = abs_float (x -. y) < 1e-13
-
-let _ =
-  let top = GWindow.window () in
-  top#connect#destroy ~callback:Main.quit;
-  let vbox = GPack.vbox ~packing: top#add () in
-  let entry = GEdit.entry ~max_length: 20 ~packing: vbox#add () in
-  let tips = GData.tooltips () in
-  tips#set_tip entry#coerce ~text:"Initial value for fix-point";
-  let result =
-    GEdit.entry ~max_length: 20 ~editable: false ~packing: vbox#add () in
-
-  entry#connect#activate ~callback:
-    begin fun () ->
-      let x = try float_of_string entry#text with _ -> 0.0 in
-      entry#set_text (string_of_float (cos x));
-      let res = fix ~f:cos ~eq:eq_float x in
-      result#set_text (string_of_float res)
-    end;
-  top#show ();
-  Main.main ()