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
/
unit
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2020-02-09
Move ui outputs to a sensible place
Nadrieril
101
-577
/
+0
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
80
-80
/
+405
2020-02-02
Tweak errors
Nadrieril
6
-13
/
+14
2020-02-02
Fix spans for unions and records
Nadrieril
2
-4
/
+4
2020-02-02
More errors
Nadrieril
6
-9
/
+31
2020-02-02
More nice errors plus some refactor
Nadrieril
8
-11
/
+38
2020-02-01
Implement once nice error using annotate_snippets
Nadrieril
3
-3
/
+24
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
23
-48
/
+106
2020-01-25
Make most type errors stringy
Nadrieril
57
-110
/
+57
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
76
-76
/
+76
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
4
-0
/
+38
2019-11-11
Add a few more pretty errors
Nadrieril
8
-8
/
+33
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
84
-84
/
+84
2019-11-11
Test type error messages
Nadrieril
84
-0
/
+84