./lang/dhall, Configuration language guaranteed to terminate

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

Branch: CURRENT, Version: 1.42.2nb3, Package name: dhall-1.42.2nb3, 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-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
   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