<feed xmlns='http://www.w3.org/2005/Atom'>
<title>dhall_rust/dhall/src/syntax/ast, branch substitutions</title>
<subtitle>working copy forked from https://github.com/Nadrieril/dhall-rust</subtitle>
<id>https://stuebinm.eu/git/dhall_rust/atom/dhall/src/syntax/ast?h=substitutions</id>
<link rel='self' href='https://stuebinm.eu/git/dhall_rust/atom/dhall/src/syntax/ast?h=substitutions'/>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/'/>
<updated>2021-04-10T20:59:07Z</updated>
<entry>
<title>add type substitutions to serde_dhall</title>
<updated>2021-04-10T20:59:07Z</updated>
<author>
<name>stuebinm</name>
</author>
<published>2021-04-10T20:59:07Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=2958333c83dce911463734e391fe3ccc76cfc9d5'/>
<id>urn:sha1:2958333c83dce911463734e391fe3ccc76cfc9d5</id>
<content type='text'>
this adds subsititutions, which work similar to the
`Dhall.substitutions` mechanism of the Haskell dhall package, and which
can be used e.g. like this:

```rust
serde_dhall.from_str(...)
  .substitute_names(hashmap!["Newtype" =&gt; static_type])
  .parse::&lt;SimpleType&gt;()?
```

The idea behind this is to make it easy to add programmer-defined types
which may be used in configs for programs, without forcing the program's
users to re-import the same type definitions each time (or the
programmers to keep the dhall-based definitions in sync with their rust
types, since these are now generated automatically).

Caveats so far:
 - makes some of the code ugly (dhall internals are now used in
   serde_dhall/src/lib.rs, for example)
 - haven't tested error messages so far
 - some unecessary copying of strings and static type values
</content>
</entry>
<entry>
<title>Untangle caching code</title>
<updated>2020-11-01T17:36:49Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-11-01T16:10:00Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=66ea301fc25a07485286560c434a9fdaf460c431'/>
<id>urn:sha1:66ea301fc25a07485286560c434a9fdaf460c431</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Prefer u64/i64 to usize/isize</title>
<updated>2020-10-28T20:18:17Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-05-10T18:32:34Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=9e3f68fc54babf24133cf66ae6be7d069ba2c271'/>
<id>urn:sha1:9e3f68fc54babf24133cf66ae6be7d069ba2c271</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Make `SimpleValue` deserializable within other types</title>
<updated>2020-10-27T23:33:26Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-10-27T23:33:26Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=77258af83dfe93293ad854ccb401d1ce7453edfc'/>
<id>urn:sha1:77258af83dfe93293ad854ccb401d1ce7453edfc</id>
<content type='text'>
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
</content>
</entry>
<entry>
<title>spec: Enable `with` optimizations</title>
<updated>2020-09-14T22:19:49Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-09-14T22:09:22Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5'/>
<id>urn:sha1:7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5</id>
<content type='text'>
</content>
</entry>
<entry>
<title>spec: fix precedence of `===` and `with`</title>
<updated>2020-06-25T14:12:09Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-11T14:41:21Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=72ad56209fe10e3120c19ca5b820ff267423ab1d'/>
<id>urn:sha1:72ad56209fe10e3120c19ca5b820ff267423ab1d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Deserialize `Prelude.Map` and `toMap` to a map instead of a list</title>
<updated>2020-04-10T11:10:53Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-10T11:10:53Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=efe4b340bebaa7ef8bce6e69194959b126c5fade'/>
<id>urn:sha1:efe4b340bebaa7ef8bce6e69194959b126c5fade</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Move duplicate field checking to parser</title>
<updated>2020-04-07T10:19:36Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-07T10:19:36Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=092b7208ffd22f8facc7af387ac307e59208d52c'/>
<id>urn:sha1:092b7208ffd22f8facc7af387ac307e59208d52c</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Move BinOp and Builtin definitions in the relevant module</title>
<updated>2020-04-06T21:26:08Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-06T21:24:15Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=56efd2ac39149d8652bd625fbf0679c10823b137'/>
<id>urn:sha1:56efd2ac39149d8652bd625fbf0679c10823b137</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Extract operation-related code to a new module</title>
<updated>2020-04-06T21:11:54Z</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-06T21:11:54Z</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82'/>
<id>urn:sha1:fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82</id>
<content type='text'>
</content>
</entry>
</feed>
