From 3d2194398546054007a8062a8bd0a61b3dec98bb Mon Sep 17 00:00:00 2001 From: thautwarm Date: Sat, 13 Jun 2020 05:46:47 +0200 Subject: [PATCH 1/3] mirror for tests --- entry.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/entry.py b/entry.py index cc2d1c3..a5ba704 100644 --- a/entry.py +++ b/entry.py @@ -16,7 +16,16 @@ "st": r"https://github.com/purescript-python/purescript-st.py", "unsafe-coerce": r"https://github.com/purescript-python/purescript-unsafe-coerce.py", "unfoldable": r"https://github.com/purescript-python/purescript-unfoldable.py", - "arrays": r"https://github.com/purescript-python/purescript-arrays.py" + "arrays": r"https://github.com/purescript-python/purescript-arrays.py", + "exceptions": r"https://github.com/purescript-python/purescript-exceptions.py", + "globals": r"https://github.com/purescript-python/purescript-globals.py", + "integers": r"https://github.com/purescript-python/purescript-integers.py", + "math": r"https://github.com/purescript-python/purescript-math.py", + "lazy": r"https://github.com/purescript-python/purescript-lazy.py", + "strings": r"https://github.com/purescript-python//purescript-strings.py", + "random": r"https://github.com/purescript-python/purescript-random.py", + "quickcheck": r"/home/xiang/projects/pspy-ffi/purescript-quickcheck.py", + "record": r"https://github.com/purescript-python/purescript-record.py", } From d97aef3f80eec03f8a0424b181e604b47222c28a Mon Sep 17 00:00:00 2001 From: thautwarm Date: Sat, 13 Jun 2020 13:05:56 +0900 Subject: [PATCH 2/3] add quickcheck --- entry.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/entry.py b/entry.py index a5ba704..b597c3b 100644 --- a/entry.py +++ b/entry.py @@ -24,7 +24,7 @@ "lazy": r"https://github.com/purescript-python/purescript-lazy.py", "strings": r"https://github.com/purescript-python//purescript-strings.py", "random": r"https://github.com/purescript-python/purescript-random.py", - "quickcheck": r"/home/xiang/projects/pspy-ffi/purescript-quickcheck.py", + "quickcheck": r"https://github.com/purescript-python/purescript-quickcheck.py", "record": r"https://github.com/purescript-python/purescript-record.py", } From 3a11b4679e7f72e5d8ccc6ea6ab57972c3578f8b Mon Sep 17 00:00:00 2001 From: thautwarm Date: Sat, 13 Jun 2020 15:08:33 +0900 Subject: [PATCH 3/3] add guides for developers --- README.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/README.md b/README.md index b5780c5..1ef36e9 100644 --- a/README.md +++ b/README.md @@ -24,3 +24,21 @@ and return `pspy --update` will automatically synchronize the mirror you selected in `pure-py.json`. e.g., for [purescript-console](https://github.com/purescript/purescript-console), we can make this [purescript-console.py](https://github.com/purescript-python/purescript-console.py) for former's Python FFI files). + + +## Test Mirror(for PureScript-Python developers) + +Fork this repo, and `git clone ~/.pspy/mirrors/test`, +and change `index-mirror` of your `ps-pure.py` to `test`: + +```json +{ + "corefn-dir": /* your setting */, + "data-format": /* your setting */, + + "entry-module": /* your setting */, + "index-mirror": "test", + "pspy-blueprint": /* your setting */ +} +``` +