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
/
tests
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2020-03-05
Run tests from dhall dir
Nadrieril
10
-10
/
+10
2020-03-05
Add a bunch of `as Location` unit tests
Nadrieril
34
-0
/
+48
2020-03-05
Update dhall-lang submodule
Nadrieril
3
-3
/
+15
2020-03-05
Add a bunch of tests
Nadrieril
49
-0
/
+70
2020-02-21
Oops
Nadrieril
1
-0
/
+6
2020-02-20
Add support for dotted field syntax
Nadrieril
2
-2
/
+2
2020-02-20
Disallow Natural literals with leading zeros
Nadrieril
1
-0
/
+6
2020-02-20
Add support for duplicate record fields
Nadrieril
6
-10
/
+7
2020-02-16
Avoid recomputing universes in tck
Nadrieril
4
-4
/
+24
2020-02-16
Start requiring Universe to build a Type
Nadrieril
2
-4
/
+4
2020-02-13
Rework annotation and Sort handling
Nadrieril
14
-18
/
+38
2020-02-13
Simplify conversions to/from TyExpr
Nadrieril
4
-0
/
+20
2020-02-09
Resolve variables alongside import resolution
Nadrieril
2
-2
/
+8
2020-02-09
Remove most TyExpr from normalization
Nadrieril
9
-18
/
+18
2020-02-09
Track error output of parsing and binary decoding tests
Nadrieril
61
-0
/
+316
2020-02-09
Move ui outputs to a sensible place
Nadrieril
107
-0
/
+0
2020-02-09
Track output of import errors
Nadrieril
2
-0
/
+2
2020-02-06
Add forgotten test outputs
Nadrieril
6
-0
/
+40
2020-02-04
Implement typechecking of toMap
Nadrieril
9
-0
/
+55
2020-02-04
Add basic pretty type errors to all errors
Nadrieril
82
-82
/
+412
2020-02-02
Add local test files on top of dhall-lang tests
Nadrieril
2
-0
/
+2
2020-02-02
Tweak errors
Nadrieril
7
-15
/
+17
2020-02-02
Fix spans for unions and records
Nadrieril
2
-4
/
+4
2020-02-02
More errors
Nadrieril
7
-11
/
+33
2020-02-02
More nice errors plus some refactor
Nadrieril
9
-13
/
+40
2020-02-01
Implement once nice error using annotate_snippets
Nadrieril
4
-4
/
+38
2020-01-30
Remove debug output in type errors
Nadrieril
3
-85
/
+3
2020-01-29
Cleanup variable handling
Nadrieril
1
-2
/
+0
2020-01-29
Use TyExpr in Typed
Nadrieril
25
-50
/
+108
2020-01-25
Make most type errors stringy
Nadrieril
58
-118
/
+58
2020-01-24
Update type-errors
Nadrieril
45
-47
/
+47
2019-12-27
Update dhall-lang submodule
Nadrieril
2
-2
/
+2
2019-12-24
Extend merge to work on Optionals
Nadrieril
4
-4
/
+4
2019-12-24
Add debug output to unhandled type error message
Nadrieril
78
-78
/
+78
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-12-22
Update dhall-lang submodule
Nadrieril
2
-0
/
+2
2019-11-11
Add more detail to TypeMismatch error
Nadrieril
5
-0
/
+45
2019-11-11
Add a few more pretty errors
Nadrieril
9
-9
/
+34
2019-11-11
Move "Type error" error prefix
Nadrieril
3
-6
/
+6
2019-11-11
Display first pretty type error
Nadrieril
3
-3
/
+18
2019-11-11
Implement basicest Display for TypeError
Nadrieril
87
-87
/
+87
2019-11-11
Test type error messages
Nadrieril
87
-0
/
+87
2019-08-13
Move api into its own crate
Nadrieril
1
-68
/
+0
2019-08-10
Remove dhall::expr!() macro
Nadrieril
1
-19
/
+11
2019-05-09
Rewrite the StaticType trait and everything around it
Nadrieril
1
-35
/
+32
2019-05-07
Fix derive
Nadrieril
1
-1
/
+1
2019-05-04
Revert "Make SubExpr generic in the variable labels type"
Nadrieril
1
-2
/
+2
2019-05-04
Make SubExpr generic in the variable labels type
Nadrieril
1
-2
/
+2
2019-05-04
Remove dummy lifetimes
Nadrieril
1
-1
/
+1
2019-05-04
rustfmt
Nadrieril
1
-1
/
+1
[next]