[r2002-10-26 18:00:27 by cvscast] Empty log message

Original author: cvscast Date: 2002-10-26 18:00:27+00:00

[r2002-10-26 18:00:27 by cvscast] Empty log message
Original author: cvscast Date: 2002-10-26 18:00:27+00:00
e0e5f79d · Pietro Abate · 12f07d4c · e0e5f79d
Commit e0e5f79d authored Oct 05, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 0 deletions

tests/str.cd tests/str.cd +11 -0

No files found.
--- a/tests/str.cd
+++ b/tests/str.cd
@@ -8,3 +8,14 @@ in
 (check "Giuseppe Castagna",
 check "Alain Frisch"
 );;
+
+
+let fun extr (Str -> Str)  [ (('a' x::_) | _)* ] -> x
+in
+extr "abcaxy";;
+
+
+type Text = [ (String | <comment>[String])* ];;
+let fun extr (Text -> Str) [ (x::String | _)* ] -> x
+in
+extr [ 'abc' 'def' <comment>['Blabla'] 'xyz' ];;