diff options
| author | buisson | 2005-04-29 09:35:43 +0000 |
|---|---|---|
| committer | buisson | 2005-04-29 09:35:43 +0000 |
| commit | 22c1e6dbe7cf74936e5ca29eadeff81312ccc506 (patch) | |
| tree | 3304815b956eb5c76674fa2763d3da8a2e73394f /examples/ivyivyprobe.ml | |
| parent | 23abb4b87c7e40ed259dd02f653516f60e55ade4 (diff) | |
| download | ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.zip ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.gz ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.bz2 ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.xz | |
Initial revision
Diffstat (limited to 'examples/ivyivyprobe.ml')
| -rw-r--r-- | examples/ivyivyprobe.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/ivyivyprobe.ml b/examples/ivyivyprobe.ml new file mode 100644 index 0000000..b51a708 --- /dev/null +++ b/examples/ivyivyprobe.ml @@ -0,0 +1,8 @@ +let _ = + Ivyprobe.init (); + try + ignore (IvyLoop.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin)); + IvyLoop.main () + with + End_of_file -> Ivy.stop () + |