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
/
type-errors
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
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
1
-0
/
+1
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