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
*
Simplify conversions to/from TyExpr
Nadrieril
2020-02-13
8
-108
/
+108
*
Only store type at root node in tyexpr
Nadrieril
2020-02-13
2
-29
/
+26
*
Introduce LitKind to factor out common enum nodes
Nadrieril
2020-02-11
11
-163
/
+185
*
Simplify ExprKind visitor
Nadrieril
2020-02-11
2
-140
/
+84
*
Remove the Embed variant from ExprKind
Nadrieril
2020-02-11
15
-137
/
+80
*
Remove need for Embed
Nadrieril
2020-02-10
4
-20
/
+22
*
Remove types from NzEnv
Nadrieril
2020-02-09
7
-42
/
+47
*
Automate conversion between envs
Nadrieril
2020-02-09
3
-22
/
+26
*
Remove all types from Value
Nadrieril
2020-02-09
5
-89
/
+16
*
Take Hir for typecheck
Nadrieril
2020-02-09
7
-57
/
+58
*
Resolve variables alongside import resolution
Nadrieril
2020-02-09
8
-83
/
+161
*
Resolve by ref instead of by mut
Nadrieril
2020-02-09
3
-274
/
+81
*
Introduce environment for import resolution
Nadrieril
2020-02-09
1
-31
/
+56
*
Remove extra types stored in Value
Nadrieril
2020-02-09
3
-47
/
+20
*
Remove most TyExpr from normalization
Nadrieril
2020-02-09
16
-126
/
+98
*
Add Hir as untyped alternative to TyExpr
Nadrieril
2020-02-09
5
-65
/
+133
*
Remove move type propagation through Value
Nadrieril
2020-02-09
5
-237
/
+86
*
Remove most reliance on types stored in Value
Nadrieril
2020-02-09
5
-67
/
+88
*
Upgrade Rust toolchain
Nadrieril
2020-02-09
3
-4
/
+1
*
Merge pull request #130 from Nadrieril/improve-tests
Nadrieril Feneanar
2020-02-09
173
-184
/
+633
|
\
|
*
Track error output of parsing and binary decoding tests
Nadrieril
2020-02-09
63
-7
/
+325
|
*
Remove distinction between failure and error tests
Nadrieril
2020-02-09
2
-40
/
+4
|
*
Add option to overwrite test files
Nadrieril
2020-02-09
2
-48
/
+136
|
*
Move ui outputs to a sensible place
Nadrieril
2020-02-09
109
-16
/
+11
|
*
Massively deduplicate test harness
Nadrieril
2020-02-09
4
-159
/
+199
|
*
Track output of import errors
Nadrieril
2020-02-09
4
-0
/
+44
|
/
*
Add forgotten test outputs
Nadrieril
2020-02-06
6
-0
/
+40
*
Merge pull request #129 from Nadrieril/missing-features
Nadrieril Feneanar
2020-02-06
14
-106
/
+361
|
\
|
*
Implement some record simplifications
Nadrieril
2020-02-06
2
-13
/
+98
|
*
Normalize toMap
Nadrieril
2020-02-05
4
-19
/
+55
|
*
Typecheck record completion
Nadrieril
2020-02-05
2
-38
/
+51
|
*
Typecheck projection by type
Nadrieril
2020-02-05
2
-12
/
+25
|
*
Implement typechecking of toMap
Nadrieril
2020-02-04
11
-26
/
+134
|
/
*
Merge pull request #128 from Nadrieril/nice-errors-everywhere
Nadrieril Feneanar
2020-02-04
85
-183
/
+484
|
\
|
*
Workaround panic in a serde_dhall example
Nadrieril
2020-02-04
1
-2
/
+4
|
*
Add basic pretty type errors to all errors
Nadrieril
2020-02-04
84
-181
/
+480
|
/
*
Add local test files on top of dhall-lang tests
Nadrieril
2020-02-02
6
-54
/
+68
*
Merge pull request #127 from Nadrieril/nicer-type-errors
Nadrieril Feneanar
2020-02-02
27
-144
/
+539
|
\
|
*
Tweak errors
Nadrieril
2020-02-02
9
-65
/
+63
|
*
Use Spans consistently by value
Nadrieril
2020-02-02
5
-23
/
+19
|
*
Fix spans for unions and records
Nadrieril
2020-02-02
4
-21
/
+28
|
*
Let rustfmt format string literals
Nadrieril
2020-02-02
2
-43
/
+45
|
*
More errors
Nadrieril
2020-02-02
12
-35
/
+140
|
*
More nice errors plus some refactor
Nadrieril
2020-02-02
15
-174
/
+272
|
*
Implement once nice error using annotate_snippets
Nadrieril
2020-02-01
11
-27
/
+216
|
/
*
Rewrite normalization and typechecking with environments (#126)
Nadrieril Feneanar
2020-01-31
109
-3371
/
+3154
|
\
|
*
Fix module paths in serde_dhall
Nadrieril
2020-01-31
2
-2
/
+2
|
*
Factor out custom Lazy struct
Nadrieril
2020-01-31
3
-35
/
+83
|
*
Use Rc equality to shortcut Value equality
Nadrieril
2020-01-30
1
-2
/
+1
|
*
Tweak ConstantClosure
Nadrieril
2020-01-30
2
-25
/
+21
[next]