Skip to content
  • v13.0.0
  • 48db9e1
  • Compare
    Choose a tag to compare
    Search for a tag
  • v13.0.0
  • 48db9e1
  • Compare
    Choose a tag to compare
    Search for a tag

@Gabriel439 Gabriel439 released this Jan 8, 2020 · 31 commits to master since this release

Breaking changes:

  • Extend Prelude's JSON type to handle unlimited precision Integers and Naturals

    This adds new Prelude.JSON.{double,integer,natural} utilities and the
    latter two utilities can store arbitrary Integers and Natural without
    loss of precision.

    For example:

    let JSON = https://prelude.dhall-lang.org/JSON/package.dhall
    
    in  JSON.render (JSON.natural 1000000000000000000000000000000)

    Prelude.JSON.number still remains and is a synonym for Prelude.JSON.double

    This is a technically breaking change because this alters Prelude.JSON.Type
    but in practice this will not break code that treats that type as a black box.

New features:

Other changes:

Assets 2
You can’t perform that action at this time.