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
path:
root
/
dhall
/
src
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Remove NirInternal
Nadrieril
2020-11-03
2
-50
/
+23
*
Typecheck `with` using mutation
Nadrieril
2020-11-03
3
-45
/
+25
*
Normalize `with` by mutation.
Nadrieril
2020-11-03
4
-57
/
+66
*
Try to keep ownership of `Nir`s when convenient
Nadrieril
2020-11-03
2
-55
/
+52
*
Merge remote-tracking branch 'upstream/master' into text-replace
Basile Henry
2020-11-03
13
-736
/
+328
|
\
|
*
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
1
-8
/
+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
2
-31
/
+52
|
*
fix: clippy
Nadrieril
2020-11-01
2
-21
/
+18
|
*
feat: add location to import error messages
Nadrieril
2020-11-01
1
-2
/
+10
|
*
Ensure that the hash always gets checked
Nadrieril
2020-11-01
2
-19
/
+40
|
*
Typed and TypedHir are the same
Nadrieril
2020-11-01
3
-33
/
+26
|
*
Untangle caching code
Nadrieril
2020-11-01
10
-661
/
+155
|
*
Store file cache in ImportEnv
Nadrieril
2020-11-01
4
-21
/
+22
|
*
Untangle ImportEnv::handle_import
Nadrieril
2020-11-01
2
-29
/
+37
*
|
Allow `Text/replace ` to support an abstract haystack
Basile Henry
2020-11-01
1
-22
/
+28
|
/
*
Update annotate-snippets dependency
Nadrieril
2020-10-30
1
-12
/
+13
*
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: dhall version 0.8.0
Nadrieril
2020-10-28
1
-1
/
+1
*
No need to escape underscores in pretty-printing
Nadrieril
2020-10-28
1
-1
/
+3
*
Prefer u64/i64 to usize/isize
Nadrieril
2020-10-28
3
-9
/
+8
*
Make `SimpleValue` deserializable within other types
Nadrieril
2020-10-27
1
-0
/
+1
*
Release dhall version 0.7.4
Nadrieril
2020-10-25
1
-1
/
+1
*
Refactor Text/replace eval
Basile Henry
2020-10-25
1
-42
/
+29
*
Implement Text/replace
Basile Henry
2020-10-25
2
-2
/
+64
*
Release dhall version 0.7.2
Nadrieril
2020-10-24
1
-1
/
+1
*
Make reqwest an optional dependency
Basile Henry
2020-10-10
1
-1
/
+5
*
Release dhall version 0.7.0
Nadrieril
2020-09-15
1
-1
/
+1
*
spec: Enable `with` optimizations
Nadrieril
2020-09-14
9
-26
/
+69
*
Release dhall version 0.6.0
Nadrieril
2020-08-05
1
-1
/
+1
*
spec: allow trailing delimiters
Nadrieril
2020-06-25
1
-6
/
+7
*
spec!: remove Optional/build and Optional/fold
Nadrieril
2020-06-25
2
-47
/
+3
*
spec: remove Unicode character from `dhall.abnf`
Nadrieril
2020-06-25
1
-1
/
+1
*
spec!: remove the ability to quote paths in URLs
Nadrieril
2020-06-25
3
-14
/
+8
*
spec: ensure `keyword` rule only matches keywords
Nadrieril
2020-06-25
1
-2
/
+4
*
spec: not all ABNF parsers like empty rules
Nadrieril
2020-06-25
3
-44
/
+21
*
spec: allow quoted labels to be empty
Nadrieril
2020-06-25
2
-2
/
+4
*
spec: allow unions with mixed kinds
Nadrieril
2020-06-25
1
-15
/
+5
*
spec: fix precedence of `===` and `with`
Nadrieril
2020-06-25
4
-11
/
+23
*
test: use errors instead of panics to signify test failure
Nadrieril
2020-06-24
1
-0
/
+11
*
refactor: remove old test harness
Nadrieril
2020-06-24
2
-362
/
+0
*
test: write custom test harness for tests
Nadrieril
2020-06-24
1
-1
/
+1
*
fix: panic on remote import on wasm
Nadrieril
2020-06-24
1
-4
/
+2
*
fix(ci): grammar sync test fails spuriously on ci
Nadrieril
2020-06-20
1
-0
/
+1
*
Release dhall version 0.5.3
Nadrieril
2020-05-30
1
-1
/
+1
*
Commit grammar file locally
Nadrieril
2020-05-30
2
-0
/
+965
[next]