Skip to content

Add Prelude/Map/unpackOptionals#1056

Merged
Gabriella439 merged 8 commits intodhall-lang:masterfrom
JackKelly-Bellroy:Prelude/Map/unpackOptionals
Aug 25, 2020
Merged

Add Prelude/Map/unpackOptionals#1056
Gabriella439 merged 8 commits intodhall-lang:masterfrom
JackKelly-Bellroy:Prelude/Map/unpackOptionals

Conversation

@JackKelly-Bellroy
Copy link
Copy Markdown
Contributor

I needed this when implementing regadas/github-actions-dhall#20 and it feels generic enough that it would be useful in the prelude.

I noticed in #1053 all the relative imports are now using .dhall extensions; should I edit my PR to import unpackOptionals.dhall?

Also, is there a script to recursively re-freeze files when you change the prelude?

@JackKelly-Bellroy JackKelly-Bellroy force-pushed the Prelude/Map/unpackOptionals branch 2 times, most recently from fe2535c to 2c73136 Compare August 17, 2020 03:50
Copy link
Copy Markdown
Collaborator

@german1608 german1608 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for your contribution!

I noticed in #1053 all the relative imports are now using .dhall extensions; should I edit my PR to import unpackOptionals.dhall?

Yes, please. In my review, I left you other places where you should use the .dhall import as well.

Also, is there a script to recursively re-freeze files when you change the prelude?

Although I'm not 100% sure, the ./scripts/lint-prelude.sh seems like the tool you're looking for.

@JackKelly-Bellroy
Copy link
Copy Markdown
Contributor Author

Thanks. I applied your changes; let me know if they should be squashed into a single commit.

./scripts/lint-prelude.sh downloaded 850 MiB of stuff and charged off to rebuild low-level tools like bison, gnum4 and binutils, so I killed it.

Copy link
Copy Markdown
Collaborator

@german1608 german1608 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Thanks @JackKelly-Bellroy!

JackKelly-Bellroy and others added 6 commits August 18, 2020 08:09
Co-authored-by: German Robayo <germanrobayo33@gmail.com>
Co-authored-by: German Robayo <germanrobayo33@gmail.com>
Non-.dhall-suffixed files are for backwards compatibility only.
Co-authored-by: Simon Jakobi <simon.jakobi@gmail.com>
@JackKelly-Bellroy JackKelly-Bellroy force-pushed the Prelude/Map/unpackOptionals branch from a4e35f7 to d94cc43 Compare August 17, 2020 22:10
Copy link
Copy Markdown
Contributor

@Gabriella439 Gabriella439 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great! We can merge after the 7-day waiting period is over

@JackKelly-Bellroy
Copy link
Copy Markdown
Contributor Author

Excellent. When can we ship this?

@Gabriella439 Gabriella439 merged commit 4db84d9 into dhall-lang:master Aug 25, 2020
@Gabriella439
Copy link
Copy Markdown
Contributor

@JackKelly-Bellroy: There will be another release coming up soon. By default we release on a roughly monthly cadence and the last release was about a month ago

@JackKelly-Bellroy
Copy link
Copy Markdown
Contributor Author

Thanks for the heads-up @Gabriel439 . Looking forward to it.

@JackKelly-Bellroy JackKelly-Bellroy deleted the Prelude/Map/unpackOptionals branch August 25, 2020 23:17
@Gabriella439
Copy link
Copy Markdown
Contributor

@JackKelly-Bellroy: The pull request to cut the next release is up here: #1059

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.

4 participants