[teyjus] r1177 committed - More tests for readterm

[tey...@googlecode.com]

Revision: 1177
Author: fafo...@gmail.com
Date: Tue Jan 27 17:51:18 2015 UTC
Log: More tests for readterm

https://code.google.com/p/teyjus/source/detail?r=1177

Added:
/branches/ocaml-builtins/source/test/io_tests/readterm/bar
/branches/ocaml-builtins/source/test/io_tests/readterm/bar_multiple
/branches/ocaml-builtins/source/test/io_tests/readterm/foo
/branches/ocaml-builtins/source/test/io_tests/readterm/readterm_2.sh
/branches/ocaml-builtins/source/test/io_tests/readterm/readterm_3.sh
/branches/ocaml-builtins/source/test/io_tests/readterm/readterm_4.sh
Modified:
/branches/ocaml-builtins/source/test/io_tests/readterm/readterm.mod
/branches/ocaml-builtins/source/test/io_tests/readterm/readterm.sig

=======================================
--- /dev/null
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/bar Tue Jan 27
17:51:18 2015 UTC
@@ -0,0 +1,1 @@
+g (g (g f)).
=======================================
--- /dev/null
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/bar_multiple Tue
Jan 27 17:51:18 2015 UTC
@@ -0,0 +1,4 @@
+g (
+ g
+ (g f)
+).
=======================================
--- /dev/null
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/foo Tue Jan 27
17:51:18 2015 UTC
@@ -0,0 +1,1 @@
+"a string on a single line".
=======================================
--- /dev/null
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/readterm_2.sh
Tue Jan 27 17:51:18 2015 UTC
@@ -0,0 +1,5 @@
+TESTNAME=`basename $0`
+QUERY="open_in \"foo\" Stream, readterm Stream X."
+EXPECTED="X = \"a string on a single line\"
+Stream = <stream -- \"foo\">"
+gives_result_stdin "$INPUT" "$QUERY" "$EXPECTED" "$TESTNAME"
=======================================
--- /dev/null
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/readterm_3.sh
Tue Jan 27 17:51:18 2015 UTC
@@ -0,0 +1,6 @@
+TESTNAME=`basename $0`
+QUERY="open_in \"bar\" Stream, readterm Stream X."
+EXPECTED="X = g (g (g f))
+Stream = <stream -- \"bar\">"
+MODFILE="readterm"
+gives_result_file "$QUERY" "$EXPECTED" "$TESTNAME" "$MODFILE"
=======================================
--- /dev/null
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/readterm_4.sh
Tue Jan 27 17:51:18 2015 UTC
@@ -0,0 +1,6 @@
+TESTNAME=`basename $0`
+QUERY="open_in \"bar_multiple\" Stream, readterm Stream X."
+EXPECTED="X = g (g (g f))
+Stream = <stream -- \"bar_multiple\">"
+MODFILE="readterm"
+gives_result_file "$QUERY" "$EXPECTED" "$TESTNAME" "$MODFILE"
=======================================
--- /branches/ocaml-builtins/source/test/io_tests/readterm/readterm.mod Tue
Jan 27 16:04:08 2015 UTC
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/readterm.mod Tue
Jan 27 17:51:18 2015 UTC
@@ -1,3 +1,3 @@
module readterm.

-test1 :- readterm std_in X.
+
=======================================
--- /branches/ocaml-builtins/source/test/io_tests/readterm/readterm.sig Tue
Jan 27 16:04:08 2015 UTC
+++ /branches/ocaml-builtins/source/test/io_tests/readterm/readterm.sig Tue
Jan 27 17:51:18 2015 UTC
@@ -1,3 +1,6 @@
sig readterm.

-type test1 o.
+
+kind a type.
+type f a.
+type g a -> a.