index
:
dhall_rust
derive-macro
substitutions
working copy forked from https://github.com/Nadrieril/dhall-rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge branch 'master' into with-no-desugar
Nadrieril
2020-11-02
1
-3
/
+6
|
\
|
*
Merge pull request #195 from basile-henry/workaround-clippy-issue
Nadrieril
2020-11-02
1
-3
/
+6
|
|
\
|
|
*
CI: Use a work around to not hit the clippy issue
Basile Henry
2020-11-02
1
-3
/
+6
|
|
/
*
|
Handle record type properly
Basile Henry
2020-11-02
1
-1
/
+1
*
|
Inline helper function
Basile Henry
2020-11-02
1
-8
/
+4
*
|
Refactor following PR review
Basile Henry
2020-11-02
2
-29
/
+20
*
|
Handle partially abstract with
Basile Henry
2020-11-01
2
-12
/
+29
*
|
Implement normalization for With op
Basile Henry
2020-11-01
1
-2
/
+43
*
|
Implement type checking for With op
Basile Henry
2020-11-01
5
-41
/
+57
|
/
*
fix: clippy
Nadrieril
2020-11-01
2
-21
/
+18
*
feat: add location to import error messages
Nadrieril
2020-11-01
11
-10
/
+81
*
Merge pull request #192 from Nadrieril/rework-caching
Nadrieril
2020-11-01
17
-740
/
+288
|
\
|
*
Ensure that the hash always gets checked
Nadrieril
2020-11-01
5
-19
/
+52
|
*
Don't pollute the dhall cache directory
Nadrieril
2020-11-01
3
-36
/
+55
|
*
Typed and TypedHir are the same
Nadrieril
2020-11-01
3
-33
/
+26
|
*
Untangle caching code
Nadrieril
2020-11-01
11
-662
/
+156
|
*
Store file cache in ImportEnv
Nadrieril
2020-11-01
4
-21
/
+22
|
*
Untangle ImportEnv::handle_import
Nadrieril
2020-11-01
2
-29
/
+37
|
/
*
chore: update nix shell
Nadrieril
2020-11-01
1
-6
/
+6
*
Merge pull request #190 from Nadrieril/update-deps
Nadrieril
2020-10-30
8
-434
/
+600
|
\
|
*
Add deps.rs badge
Nadrieril
2020-10-30
1
-4
/
+7
|
*
Update other dependencies
Nadrieril
2020-10-30
1
-312
/
+314
|
*
Update abnf dependency
Nadrieril
2020-10-30
3
-14
/
+24
|
*
Update pretty dependency
Nadrieril
2020-10-30
3
-36
/
+34
|
*
Update annotate-snippets dependency
Nadrieril
2020-10-30
3
-15
/
+19
|
*
Update serde_cbor dependency
Nadrieril
2020-10-30
2
-4
/
+3
|
*
Roll our own Value for binary decoding
Nadrieril
2020-10-30
1
-12
/
+162
|
*
Don't use serde_cbor::Value in binary encoding
Nadrieril
2020-10-30
1
-40
/
+40
|
/
*
release: serde_dhall version 0.8.0
Nadrieril
2020-10-28
5
-5
/
+8
*
release: dhall version 0.8.0
Nadrieril
2020-10-28
4
-4
/
+4
*
Merge pull request #189 from Nadrieril/serialize
Nadrieril
2020-10-28
18
-224
/
+1278
|
\
|
*
Fix clippy and formatting
Nadrieril
2020-10-28
2
-2
/
+4
|
*
Move some tests
Nadrieril
2020-10-28
2
-61
/
+59
|
*
Implement SimpleValue serialization
Nadrieril
2020-10-28
2
-16
/
+61
|
*
Move table of type correspondances
Nadrieril
2020-10-28
2
-23
/
+26
|
*
Add missing documentation
Nadrieril
2020-10-28
3
-10
/
+316
|
*
Make type annotation optional to allow serializing SimpleValue
Nadrieril
2020-10-28
8
-157
/
+202
|
*
Implement serialization
Nadrieril
2020-10-28
12
-72
/
+725
|
*
No need to escape underscores in pretty-printing
Nadrieril
2020-10-28
5
-5
/
+7
|
/
*
Merge pull request #188 from Nadrieril/change-nums
Nadrieril
2020-10-28
9
-50
/
+25
|
\
|
*
Prefer u64/i64 to usize/isize
Nadrieril
2020-10-28
9
-50
/
+25
|
/
*
fix: tweak release message
Nadrieril
2020-10-28
1
-1
/
+1
*
fix: add missing test
Nadrieril
2020-10-28
1
-0
/
+6
*
Release serde_dhall version 0.7.5
Nadrieril
2020-10-28
5
-5
/
+8
*
Merge pull request #186 from Nadrieril/deserialize-simplevalue
Nadrieril
2020-10-28
5
-19
/
+148
|
\
|
*
Make `SimpleValue` deserializable within other types
Nadrieril
2020-10-27
5
-19
/
+148
|
/
*
Release serde_dhall version 0.7.4
Nadrieril
2020-10-25
5
-5
/
+8
*
Release dhall version 0.7.4
Nadrieril
2020-10-25
4
-4
/
+4
*
fix: fix changelog
Nadrieril
2020-10-25
1
-1
/
+1
*
Merge pull request #181 from basile-henry/text-replace
Basile Henry
2020-10-25
7
-5
/
+65
|
\
[next]