Allow strings in impl calls

Resolves   #821.

Makefile

@@ -141,15 +141,15 @@ test-any-of: test-univ
 .PHONY: test-mypy-univ
 test-mypy-univ: export COCONUT_USE_COLOR=TRUE
 test-mypy-univ: clean
-	python ./coconut/tests --strict --keep-lines --force --mypy --follow-imports silent --ignore-missing-imports --allow-redefinition
+	python ./coconut/tests --strict --keep-lines --force --no-cache --mypy --follow-imports silent --ignore-missing-imports --allow-redefinition
 	python ./coconut/tests/dest/runner.py
 	python ./coconut/tests/dest/extras.py
 
 # same as test-mypy-univ but uses --target sys
 .PHONY: test-mypy
 test-mypy: export COCONUT_USE_COLOR=TRUE
 test-mypy: clean
-	python ./coconut/tests --strict --keep-lines --force --target sys --mypy --follow-imports silent --ignore-missing-imports --allow-redefinition
+	python ./coconut/tests --strict --keep-lines --force --target sys --no-cache --mypy --follow-imports silent --ignore-missing-imports --allow-redefinition
 	python ./coconut/tests/dest/runner.py
 	python ./coconut/tests/dest/extras.py
 
@@ -198,7 +198,7 @@ test-mypy-verbose: clean
 .PHONY: test-mypy-all
 test-mypy-all: export COCONUT_USE_COLOR=TRUE
 test-mypy-all: clean
-	python ./coconut/tests --strict --keep-lines --force --target sys --mypy --follow-imports silent --ignore-missing-imports --allow-redefinition --check-untyped-defs
+	python ./coconut/tests --strict --keep-lines --force --target sys --no-cache --mypy --follow-imports silent --ignore-missing-imports --allow-redefinition --check-untyped-defs
 	python ./coconut/tests/dest/runner.py
 	python ./coconut/tests/dest/extras.py
 

coconut/compiler/grammar.py

@@ -1443,7 +1443,6 @@ class Grammar(object):
         ) + Optional(power_in_impl_call))
         impl_call_item = condense(
             disallow_keywords(reserved_vars)
-            + ~any_string
             + ~non_decimal_num
             + atom_item
             + Optional(power_in_impl_call)

coconut/root.py

@@ -26,7 +26,7 @@
 VERSION = "3.0.4"
 VERSION_NAME = None
 # False for release, int >= 1 for develop
-DEVELOP = 15
+DEVELOP = 16
 ALPHA = False  # for pre releases rather than post releases
 
 assert DEVELOP is False or DEVELOP >= 1, "DEVELOP must be False or an int >= 1"

coconut/tests/src/cocotest/agnostic/primary_2.coco

@@ -428,6 +428,9 @@ def primary_test_2() -> bool:
     if"0":assert True
     if"0":
         assert True
+    b = "b"
+    assert "abc".find b == 1
+    assert_raises(-> "a" 10, TypeError)
 
     with process_map.multiple_sequential_calls():  # type: ignore
         assert map((+), range(3), range(4)$[:-1], strict=True) |> list == [0, 2, 4] == process_map((+), range(3), range(4)$[:-1], strict=True) |> list  # type: ignore

coconut/tests/src/extras.coco

@@ -243,10 +243,6 @@ def f() =
         "\n        ^",
         "\n  \\~~~~~^",
     ))
-    assert_raises(-> parse('"a" 10'), CoconutParseError, err_has=(
-        "\n      ^",
-        "\n  \\~~~^",
-    ))
     assert_raises(-> parse("A. ."), CoconutParseError, err_has=(
         "\n   \\~^",
         "\n  \\~~^",