~williewillus/public-inbox

r16: Fix #lang for langs with protected exports v2 APPLIED

eutro
eutro: 2
 Fix #lang for langs with protected exports
 Fix .gitignore and commit new_trick_data dir

 4 files changed, 9 insertions(+), 8 deletions(-)
#463693 linux_buildtest.yml success
builds.sr.ht
r16/patches/linux_buildtest.yml: SUCCESS in 1m24s

[Fix #lang for langs with protected exports][0] v2 from [eutro][1]

[0]: https://lists.sr.ht/~williewillus/public-inbox/patches/21287
[1]: mailto:benedek.szilvasy@gmail.com

✓ #463693 SUCCESS r16/patches/linux_buildtest.yml https://builds.sr.ht/~williewillus/job/463693
Export patchset (mbox)
How do I use this?

Copy & paste the following snippet into your terminal to import this patchset into git:

curl -s https://lists.sr.ht/~williewillus/public-inbox/patches/21287/mbox | git am -3
Learn more about email & git
View this thread in the archives

[PATCH r16 v2 1/2] Fix #lang for langs with protected exports Export this patch

eutro
---
 .gitignore    | 6 ------
 evaluator.rkt | 4 ++--
 2 files changed, 2 insertions(+), 8 deletions(-)
 delete mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index ebc25e8..0000000
--- a/.gitignore
@@ -1,6 +0,0 @@
doc/
compiled/
*.rktd
*.sexp
*.patch
**/token
diff --git a/evaluator.rkt b/evaluator.rkt
index 0f069a5..3b93002 100644
--- a/evaluator.rkt
+++ b/evaluator.rkt
@@ -41,8 +41,8 @@
                    (module sandbox-language racket
                      (provide (all-defined-out)
                               #,@(map (curry list 'all-from-out)
                                       (cdr definitions))
                               (all-from-out lang))
                                       (cdr definitions)))
                      (#%provide (all-from lang))
                      #,(make-definition definitions)
                      ;; require everything else at the end
                      (require lang))
-- 
2.30.2
Applied this patch (amended to restore the gitignore) but not the 2/2.
I'm going to change the bot so that
the trick data dir is passed as a CLI parameter, so adding it to the
gitignore/repo is unnecessary.

eutro writes:

[PATCH r16 v2 2/2] Fix .gitignore and commit new_trick_data dir Export this patch

eutro
---
 .gitignore              | 7 +++++++
 new_trick_data/.gitkeep | 0
 2 files changed, 7 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 new_trick_data/.gitkeep

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..1cb9f1b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,7 @@
doc/
compiled/
new_trick_data/*.json
*.rktd
*.sexp
*.patch
**/token
diff --git a/new_trick_data/.gitkeep b/new_trick_data/.gitkeep
new file mode 100644
index 0000000..e69de29
-- 
2.30.2
builds.sr.ht
r16/patches/linux_buildtest.yml: SUCCESS in 1m24s

[Fix #lang for langs with protected exports][0] v2 from [eutro][1]

[0]: https://lists.sr.ht/~williewillus/public-inbox/patches/21287
[1]: mailto:benedek.szilvasy@gmail.com

✓ #463693 SUCCESS r16/patches/linux_buildtest.yml https://builds.sr.ht/~williewillus/job/463693