diff options
-rw-r--r-- | test/pull2.exp | 1 | ||||
-rw-r--r-- | test/pull2.in | 1 | ||||
-rw-r--r-- | test/pull2.lm | 3 |
3 files changed, 5 insertions, 0 deletions
diff --git a/test/pull2.exp b/test/pull2.exp new file mode 100644 index 00000000..aa3a0fe0 --- /dev/null +++ b/test/pull2.exp @@ -0,0 +1 @@ +this is in diff --git a/test/pull2.in b/test/pull2.in new file mode 100644 index 00000000..f4d2e4a0 --- /dev/null +++ b/test/pull2.in @@ -0,0 +1 @@ +this is input for a non-parse pull diff --git a/test/pull2.lm b/test/pull2.lm new file mode 100644 index 00000000..1a18b829 --- /dev/null +++ b/test/pull2.lm @@ -0,0 +1,3 @@ +Stream: stream = open( 'pull2.in' 'r' ) +String: str = Stream.pull( 10 ) +print( String '\n' ) |