-
Notifications
You must be signed in to change notification settings - Fork 219
Version 1.33.1 → 1.34.0 #1950
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Version 1.33.1 → 1.34.0 #1950
Changes from all commits
Commits
Show all changes
8 commits
Select commit
Hold shift + click to select a range
fdbd93f
Version 1.33.1 → 1.34.0
Gabriella439 e8a45f6
Fix `dhall` bound for `dhall-lsp-server`
Gabriella439 f0a0420
Merge branch 'master' into gabriel/1_34_0_2
Gabriella439 9aa175f
Update `CHANGELOG.md`
Gabriella439 93eef5f
Update dhall-docs/CHANGELOG.md
Gabriella439 db8af3a
Update dhall-docs/CHANGELOG.md
Gabriella439 d2444b4
Update `dhall-lang` to `v17.1.0`
Gabriella439 012f6c2
Fix `dhall.cabal` to reflect new `*.dhall` Prelude extensions
Gabriella439 File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,3 +1,19 @@ | ||
| 1.0.0 | ||
|
|
||
| * [Generate documentation from header comment](https://github.com/dhall-lang/dhall-haskell/pull/1929) | ||
| * `dhall-docs` will now render a module header from a comment at | ||
| the beginning of a Dhall file | ||
| * The comment syntax is essentially markdown with the same whitespace | ||
| and indentation rules as multi-line strings in Dhall | ||
| * Both block comments and multiple single-line comments are supported | ||
| * [Jump to imports](https://github.com/dhall-lang/dhall-haskell/pull/1959) | ||
| * The documentation will now generate links for relative and remote imports found within the | ||
| rendered source code | ||
| * [Add support for non-`let` type annotations](https://github.com/dhall-lang/dhall-haskell/pull/1928) | ||
| * `dhall-docs` can now also extract the type of a module from a type | ||
| annotation on a bare expression (i.e. an expression that is not a | ||
| `let` expression) | ||
|
|
||
| 0.0.1 | ||
|
|
||
| * Project skeleton with command line options | ||
| * Initial beta release |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Submodule dhall-lang
updated
288 files
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.