Path to this page:
./
lang/dhall,
Configuration language guaranteed to terminate
Branch: CURRENT,
Version: 1.42.1nb1,
Package name: dhall-1.42.1nb1,
Maintainer: pkgsrc-usersDhall is an explicitly typed configuration language that is not Turing
complete. Despite being Turing incomplete, Dhall is a real programming
language with a type-checker and evaluator.
Use this library to parse, type-check, evaluate, and pretty-print the Dhall
configuration language. This package also includes an executable which
type-checks a Dhall file and reduces the file to a fully evaluated normal
form.
Master sites:
Filesize: 657.854 KB
Version history: (Expand)
- (2024-05-09) Updated to version: dhall-1.42.1nb1
- (2024-05-04) Updated to version: dhall-1.42.1
- (2023-11-02) Updated to version: dhall-1.42.0nb1
- (2023-10-31) Updated to version: dhall-1.42.0
- (2023-10-09) Updated to version: dhall-1.41.2nb2
- (2023-02-09) Updated to version: dhall-1.41.2nb1
CVS history: (Expand)
2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) |
Log message:
Recursive revbump after changing the default Haskell compiler
|
2024-05-04 14:41:42 by Masatake Daimon | Files touched by this commit (7) |
Log message:
lang/dhall: Update to 1.42.1
1.42.1
Add several new entrypoints to Dhall module [#2534] / [#2544]
Build against latest versions of:
ansi-terminal
optparse-applicative
optparse-generic
lens
template-haskell [#2532] / [#2542]
unix-compat 1.42.0
Supports standard version 23.0.0
BREAKING CHANGE TO THE API AND LANGUAGE: Language support for Bytes literals
This is a breaking change to the API due to adding new Bytes and \
BytesLiteral constructors to the Expr type
This is a breaking change to the language now that Bytes is a \
reserved identifier
BREAKING CHANGE TO THE API AND LANGUAGE: New {Date,Time,TimeZone}/show \
builtins
This is a breaking change to the API due to adding new \
{Date,Time,TimeZone}Show constructors to the Expr type
This is a breaking change to the language now that \
{Date,Time,TimeZone}/show are not reserved identifiers
BREAKING CHANGE: dhall lint no longer sorts let bindings
This had to be removed because the old behavior was not always correct
The old behavior would sometimes change the behavior of a Dhall program \
or break the program
Out of an abundance of caution we're disabling the feature until it can \
be properly fixed (which is't trivial)
BUG FIX: Fix pretty-printing of Time literals
The pretty-printer was stripping leading zeros from the fractional \
component of seconds
BUG FIX: Fix custom normalizers to work for things other than functions
Before this change you could extend the language with custom functions, \
but not custom values (e.g. foo = 1)
BUG FIX: Don't URL encode path components
The pretty-printer was URL-encoding path components, which is not \
correct (according to the standard)
URL path components are supposed to be already URL-encoded by the user \
and left undisturbed by the interpreter (which is now what it correctly does)
New dhall package command: #2478, #2508
This command makes it easier to turn a directory full of Dhall \
expressions into a dhall package (e.g. package.dhall)
Improved dhall to-directory-tree subcommand
The dhall to-directory-tree subcommand now optionally supports \
specifying metadata for generated paths
For a worked example, see: \
https://github.com/dhall-lang/dhall-haskell/blob/main/dhall/examples/to-directory-tree.dhall
dhall freeze --cache --all is now idempotent: #2486, #2500
Before this change a second run would fail due to attempting to resolve \
the missing import it would generate
New Template Haskell options for adding strictness annotations to generated \
Haskell types
Template Haskell can now generate higher-kinded Haskell types from \
higher-kinded Dhall types
New Dhall.Freeze utilities for working with custom evaluators
Add Data instances for Import and various other types
Add Eq instances for InvalidDecoder and ExtractError
|
2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) |
Log message:
Revbump all Haskell after updating lang/ghc96
|
2023-10-31 09:46:24 by Masatake Daimon | Files touched by this commit (7) |
Log message:
lang/dhall: Update to 1.42.0
1.42.0
* Supports standard version 23.0.0
- BREAKING CHANGE TO THE API AND LANGUAGE: Language support for Bytes
literals
* This is a breaking change to the API due to adding new Bytes and
BytesLiteral constructors to the Expr type
* This is a breaking change to the language now that Bytes is a
reserved identifier
- BREAKING CHANGE TO THE API AND LANGUAGE: New {Date,Time,TimeZone}/show
builtins
* This is a breaking change to the API due to adding new
{Date,Time,TimeZone}Show constructors to the Expr type
* This is a breaking change to the language now that
{Date,Time,TimeZone}/show are not reserved identifiers
* BREAKING CHANGE: dhall lint no longer sorts let bindings
- This had to be removed because the old behavior was not always correct
- The old behavior would sometimes change the behavior of a Dhall program
or break the program
- Out of an abundance of caution we're disabling the feature until it can
be properly fixed (which is't trivial)
* BUG FIX: Fix pretty-printing of Time literals
- The pretty-printer was stripping leading zeros from the fractional
component of seconds
* BUG FIX: Fix custom normalizers to work for things other than functions
- Before this change you could extend the language with custom functions,
but not custom values (e.g. foo = 1)
* BUG FIX: Don't URL encode path components
- The pretty-printer was URL-encoding path components, which is not
correct (according to the standard)
- URL path components are supposed to be already URL-encoded by the user
and left undisturbed by the interpreter (which is now what it correctly
does)
* New dhall package command: #2478, #2508
- This command makes it easier to turn a directory full of Dhall
expressions into a dhall package (e.g. package.dhall)
* Improved dhall to-directory-tree subcommand
- The dhall to-directory-tree subcommand now optionally supports
specifying metadata for generated paths
- For a worked example, see:
\
https://github.com/dhall-lang/dhall-haskell/blob/main/dhall/examples/to-directory-tree.dhall
* dhall freeze --cache --all is now idempotent: #2486, #2500
- Before this change a second run would fail due to attempting to resolve
the missing import it would generate
* New Template Haskell options for adding strictness annotations to
generated Haskell types
* Template Haskell can now generate higher-kinded Haskell types from
higher-kinded Dhall types
* New Dhall.Freeze utilities for working with custom evaluators
* Add Data instances for Import and various other types
* Add Eq instances for InvalidDecoder and ExtractError
|
2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) |
Log message:
Bump Haskell packages after updating lang/ghc94
|
2023-01-29 13:16:07 by Masatake Daimon | Files touched by this commit (5) | |
Log message:
lang/dhall: Update to 1.41.2
1.41.2
* BUG FIX: Fix :hash REPL command to α-normalize input
* Add {From,To}Dhall instances for DayOfWeek
* Add {From,To}Dhall instances for ShortText
* Performance improvements
* Fixes and improvements to haddocks
* Fixes and improvements to test suite
* Build against newer dependencies
1.41.1
* BUG FIX: Don't escape ? path component when pretty-printing with
expressions
1.41.0
* Support standard version 22.0.0
- Allow with expressions to update Optional values using ?
- Add showConstructor keyword
* BUG FIX: Fix pretty-printing of time zones
- Timezones with a negative offset were previously being rendered with
two leading minus signs instead of one
* BUG FIX: dhall freeze --cache to work with standard version 21.0.0
- dhall freeze will now use missing sha256:… for the first import so that
the latter import will be tried if the import is not in cache
- The old behavior is incompatible with standard version 21.0.0 because
the new behavior of the ? operator doesn't fall back on hash mismatches
* BUG FIX: Allow with expression to update a field named Some
- This fixes a discrepancy between the Haskell implementation and the
standard where the Haskell implementation would not permit { Some = 0 }
with Some = 1
* Fix dhall {format,lint,freeze} to preserve leading shebangs
* Add FromDhall instances for Int{8,16,32,64}
|
2022-09-07 08:50:53 by Masatake Daimon | Files touched by this commit (149) | |
Log message:
Recursive bump for recently updated Haskell packages
|
2022-09-01 11:25:19 by Thomas Klausner | Files touched by this commit (2) |
Log message:
ll: fix build with current pkgsrc versions of dependencies
|