./lang/dhall, Configuration language guaranteed to terminate

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 1.42.2nb4, Package name: dhall-1.42.2nb4, Maintainer: pkgsrc-users

Dhall 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: 840.029 KB

Version history: (Expand)


CVS history: (Expand)


   2025-08-13 13:07:47 by Masatake Daimon | Files touched by this commit (1263)
Log message: Bump all Haskell because lang/ghc910 has got a library change 
   2025-03-08 06:13:52 by Masatake Daimon | Files touched by this commit (32)
Log message: Recursive bump for security/hs-tls 
   2025-03-05 04:40:14 by Masatake Daimon | Files touched by this commit (1173)
Log message: recursive revbump after patching lang/ghc910 
   2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173)
Log message: Bump all Haskell packages after switching the default compiler. 
   2025-02-01 13:22:28 by Masatake Daimon | Files touched by this commit (3) | Package updated
Log message: lang/dhall: update to dhall-1.42.2 1.42.2 * [Supports standard version \ 23.1.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v23.1.0) * [Allow `Natural` and `Integer` literals in binary \ notation](https://github.com/dhall-lang/dhall-haskell/pull/2540) * Fix macOS build \ [[#2561](https://github.com/dhall-lang/dhall-haskell/pull/2561)] / \ [[#2586](https://github.com/dhall-lang/dhall-haskell/pull/2586)] * [`dhall to-directory-tree`: Fix support for empty \ `Map`s](https://github.com/dhall-lang/dhall-haskell/pull/2609) * [`Dhall.TH`: Improve recompilation \ checking](https://github.com/dhall-lang/dhall-haskell/pull/2620) * `Dhall.TH` utilities now use `addDependentFile` internally so that GHC will \ recompile if any Dhall dependencies change * Performance improvements * Optimize `Natural/fold`: \ [[#2585](https://github.com/dhall-lang/dhall-haskell/pull/2585)] / \ [[#2596](https://github.com/dhall-lang/dhall-haskell/pull/2596)] * [Improve `Dhall.Map.traverseWithKey` \ performance](https://github.com/dhall-lang/dhall-haskell/pull/2589) * The fold will now short-circuit if it reaches a fixed point * [#2611](https://github.com/dhall-lang/dhall-haskell/pull/2611) * Fixes and improvements to test suite * [#2593](https://github.com/dhall-lang/dhall-haskell/pull/2593) * Fixes and improvements to haddocks * [#2546](https://github.com/dhall-lang/dhall-haskell/pull/2546) * Fixes and improvements to code formatting * [#2608](https://github.com/dhall-lang/dhall-haskell/pull/2608) 
   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