Skip to content

Conversation

jvliwanag
Copy link
Contributor

Fixes #8

Changes to argv also extended to execArgv and env

@thomashoneyman thomashoneyman added the purs-0.14 A reminder to address this issue or merge this PR before we release PureScript v0.14.0 label Dec 11, 2020
@jvliwanag
Copy link
Contributor Author

Replaced by #26

@jvliwanag jvliwanag closed this Dec 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

purs-0.14 A reminder to address this issue or merge this PR before we release PureScript v0.14.0

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Should argv clone the array?

2 participants