diff options
| author | Drahflow <drahflow@gmx.de> | 2017-02-28 23:18:21 +0100 |
|---|---|---|
| committer | Drahflow <drahflow@gmx.de> | 2017-02-28 23:18:21 +0100 |
| commit | 5e081a4b2676fd456f7ff3c65b902eb61b1c7737 (patch) | |
| tree | ee8390328f9ca0c6a8a357b5c16e22f3dd6ce6d0 | |
| parent | 97a096dc8856fbcb27f832017c06be0c1a6845a7 (diff) | |
grep function not guaranteed to be type-const
| -rw-r--r-- | compiler/standard.ey | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/standard.ey b/compiler/standard.ey index e66a684..8b76e7d 100644 --- a/compiler/standard.ey +++ b/compiler/standard.ey @@ -31,7 +31,7 @@ { _ len { |or fold }' { -- 0 }' ? * }' /any deffd { _ len { |and fold }' { -- 1 }' ? * }' /all deffd -{ =*p { +{ =*?p { [ -01 { _ p { } { -- } ? * } each ] } } /engrep deffd |