From cff95fa7f17d1bd85842054adc377f564a94240c Mon Sep 17 00:00:00 2001 From: Mike Solomon Date: Wed, 24 Jun 2020 07:36:20 +0300 Subject: [PATCH 1/4] Fix KeyError: '_indexOfStartingAt' --- python-ffi/Data/String/CodeUnits.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/python-ffi/Data/String/CodeUnits.py b/python-ffi/Data/String/CodeUnits.py index 328c749..9ef7eca 100644 --- a/python-ffi/Data/String/CodeUnits.py +++ b/python-ffi/Data/String/CodeUnits.py @@ -63,6 +63,10 @@ def _indexOfStartingAtImpl(just, nothing, x, startAt, s): i = s.find(x, startAt) return nothing if i == -1 else just(i) +def _indexOfStartingAt(just): + lambda just: lambda nothing: lambda x: lambda startAt: lambda s: _indexOfStartingAtImpl( + just, nothing, x, startAt, s +) globals()[ "_indexOf'" From 2f98d293ce9e046a7030ceabfffae667d0e677ab Mon Sep 17 00:00:00 2001 From: Mike Solomon Date: Wed, 24 Jun 2020 07:37:13 +0300 Subject: [PATCH 2/4] Update CodeUnits.py --- python-ffi/Data/String/CodeUnits.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python-ffi/Data/String/CodeUnits.py b/python-ffi/Data/String/CodeUnits.py index 9ef7eca..1560d69 100644 --- a/python-ffi/Data/String/CodeUnits.py +++ b/python-ffi/Data/String/CodeUnits.py @@ -64,7 +64,7 @@ def _indexOfStartingAtImpl(just, nothing, x, startAt, s): return nothing if i == -1 else just(i) def _indexOfStartingAt(just): - lambda just: lambda nothing: lambda x: lambda startAt: lambda s: _indexOfStartingAtImpl( + return lambda just: lambda nothing: lambda x: lambda startAt: lambda s: _indexOfStartingAtImpl( just, nothing, x, startAt, s ) From 065f7f441a9423b40ad9094705fef2d70eef5efd Mon Sep 17 00:00:00 2001 From: Mike Solomon Date: Thu, 25 Jun 2020 14:23:11 +0300 Subject: [PATCH 3/4] Update CodeUnits.py --- python-ffi/Data/String/CodeUnits.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python-ffi/Data/String/CodeUnits.py b/python-ffi/Data/String/CodeUnits.py index 1560d69..fd93825 100644 --- a/python-ffi/Data/String/CodeUnits.py +++ b/python-ffi/Data/String/CodeUnits.py @@ -64,7 +64,7 @@ def _indexOfStartingAtImpl(just, nothing, x, startAt, s): return nothing if i == -1 else just(i) def _indexOfStartingAt(just): - return lambda just: lambda nothing: lambda x: lambda startAt: lambda s: _indexOfStartingAtImpl( + return lambda nothing: lambda x: lambda startAt: lambda s: _indexOfStartingAtImpl( just, nothing, x, startAt, s ) From 559afee836518436dde36eff704fa7db5cd2cb3c Mon Sep 17 00:00:00 2001 From: Xiang Hong Date: Fri, 10 Jul 2020 13:58:36 +0800 Subject: [PATCH 4/4] Update README.md --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 4dcaf68..ad6ab86 100644 --- a/README.md +++ b/README.md @@ -4,3 +4,7 @@ Providing FFI files for https://github.com/purescript/purescript-strings Available mirrors: https://github.com/purescript-python/purescript-python-ffi-index + +## Note on Regex + +`Data.String.Regex` and related modules is not supported yet, please check [#3](https://github.com/purescript-python/purescript-strings.py/issues/3) for details.