Skip to content

Add Idriç environment value lookup - #64

Merged
isomorphisms merged 1 commit into
Idriçfrom
environment-value
Sep 2, 2026
Merged

Add Idriç environment value lookup#64
isomorphisms merged 1 commit into
Idriçfrom
environment-value

Conversation

@isomorphisms

Copy link
Copy Markdown
Owner

Adds environment_value : String -> IO (Maybe String) beside the existing process operations in System.

  • rejects names containing = or embedded NUL
  • preserves the distinction between unset and empty values
  • copies the result through Idriç String construction before returning
  • adds focused .idric tests for present, empty, absent, and invalid names

Execution receipt (Chez backend):

hello
empty
missing
missing
missing

Status: PASS. Both acceptance invocations were compiled from .idric source and run; IDRIC_ENV_TEST=hello printed hello, and env -u IDRIC_ENV_TEST printed missing.

@isomorphisms
isomorphisms changed the base branch from idric-source-extension to Idriç September 2, 2026 00:20

Copy link
Copy Markdown
Owner Author

Classification: READY_TO_MERGE.

Retargeted from the merged historical idric-source-extension branch to the current Idriç branch. The old base is an ancestor of Idriç; the PR remains a one-commit, five-file environment-value change with the same 50-line diff, and a local three-way merge against current Idriç is conflict-free.

@isomorphisms
isomorphisms merged commit 62cd618 into Idriç Sep 2, 2026
18 of 23 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant