ober/jerboa-awk
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

fix: use (jerboa prelude) instead of raw (scheme) #3

Merged
ober merged 1 commit from fix/jerboa-awk-prelude-import into master 2026-08-06 13:00:59 -04:00
Conversation 0 Commits 1 Files changed 10 +36 -9
ober commented 2026-08-06 12:56:10 -04:00
Owner
Copy link

Avoids WPO identifier conflicts when jerboa-awk is compiled into the jsh extras closure.

Avoids WPO identifier conflicts when jerboa-awk is compiled into the jsh extras closure.
fix: import (jerboa prelude) instead of raw (scheme) to avoid WPO conflicts
Some checks failed
required-ci / required (pull_request) Failing after 2s
Details
version-policy / required (pull_request) Failing after 2s
Details
860e869484
ober scheduled this pull request to auto merge when all checks succeed 2026-08-06 13:00:35 -04:00
ober merged commit 3de149eac8 into master 2026-08-06 13:00:59 -04:00
ober referenced this pull request from a commit 2026-08-06 13:01:01 -04:00
Merge pull request #3
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/jerboa-awk!3
No description provided.