<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>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/'/>
<entry>
<title>add type substitutions to serde_dhall</title>
<updated>2021-04-10T20:59:07+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2021-04-10T20:59:07+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=2958333c83dce911463734e391fe3ccc76cfc9d5'/>
<id>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>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
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
</pre>
</div>
</content>
</entry>
<entry>
<title>Untangle caching code</title>
<updated>2020-11-01T17:36:49+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-11-01T16:10:00+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=66ea301fc25a07485286560c434a9fdaf460c431'/>
<id>66ea301fc25a07485286560c434a9fdaf460c431</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Prefer u64/i64 to usize/isize</title>
<updated>2020-10-28T20:18:17+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-05-10T18:32:34+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=9e3f68fc54babf24133cf66ae6be7d069ba2c271'/>
<id>9e3f68fc54babf24133cf66ae6be7d069ba2c271</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Make `SimpleValue` deserializable within other types</title>
<updated>2020-10-27T23:33:26+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-10-27T23:33:26+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=77258af83dfe93293ad854ccb401d1ce7453edfc'/>
<id>77258af83dfe93293ad854ccb401d1ce7453edfc</id>
<content type='text'>
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
</pre>
</div>
</content>
</entry>
<entry>
<title>spec: Enable `with` optimizations</title>
<updated>2020-09-14T22:19:49+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-09-14T22:09:22+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5'/>
<id>7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>spec: fix precedence of `===` and `with`</title>
<updated>2020-06-25T14:12:09+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-11T14:41:21+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=72ad56209fe10e3120c19ca5b820ff267423ab1d'/>
<id>72ad56209fe10e3120c19ca5b820ff267423ab1d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Deserialize `Prelude.Map` and `toMap` to a map instead of a list</title>
<updated>2020-04-10T11:10:53+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-10T11:10:53+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=efe4b340bebaa7ef8bce6e69194959b126c5fade'/>
<id>efe4b340bebaa7ef8bce6e69194959b126c5fade</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Move duplicate field checking to parser</title>
<updated>2020-04-07T10:19:36+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-07T10:19:36+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=092b7208ffd22f8facc7af387ac307e59208d52c'/>
<id>092b7208ffd22f8facc7af387ac307e59208d52c</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Move BinOp and Builtin definitions in the relevant module</title>
<updated>2020-04-06T21:26:08+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-06T21:24:15+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=56efd2ac39149d8652bd625fbf0679c10823b137'/>
<id>56efd2ac39149d8652bd625fbf0679c10823b137</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Extract operation-related code to a new module</title>
<updated>2020-04-06T21:11:54+00:00</updated>
<author>
<name>Nadrieril</name>
</author>
<published>2020-04-06T21:11:54+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/dhall_rust/commit/?id=fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82'/>
<id>fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
