./lang/dhall, Configuration language guaranteed to terminate

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


Branch: CURRENT, Version: 1.42.1nb1, Package name: dhall-1.42.1nb1, 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: 657.854 KB

Version history: (Expand)


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) | Package updated
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) | Package updated
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