~williewillus/public-inbox

This thread contains a patchset. You're looking at the original emails, but you may wish to use the patch review UI. Review patch
3 3

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

eutro
Details
Message ID
<20210319080631.870783-1-benedek.szilvasy@gmail.com>
DKIM signature
pass
Download raw message
Patch: +2 -8
---
 .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

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

eutro
Details
Message ID
<20210319080631.870783-2-benedek.szilvasy@gmail.com>
In-Reply-To
<20210319080631.870783-1-benedek.szilvasy@gmail.com> (view parent)
DKIM signature
pass
Download raw message
Patch: +7 -0
---
 .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

[r16/patches/linux_buildtest.yml] build success

builds.sr.ht
Details
Message ID
<CA169VK9GURS.2LHISFH362QN6@cirno2>
In-Reply-To
<20210319080631.870783-2-benedek.szilvasy@gmail.com> (view parent)
DKIM signature
missing
Download raw message
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
Details
Message ID
<87zgypmo1j.fsf@vincent-lee.net>
In-Reply-To
<20210319080631.870783-1-benedek.szilvasy@gmail.com> (view parent)
DKIM signature
pass
Download raw message
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:

> ---
>  .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
> +++ /dev/null
> @@ -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))
Reply to thread Export thread (mbox)