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 (
Collapse
)
Author
Files
Lines
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
It's a lot of hassle for not a lot of benefit
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
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
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
2019-05-04
Rename dhall_generator to dhall_proc_macros
Nadrieril
1
-8
/
+8
2019-05-04
Rename dhall_core to dhall_syntax
Nadrieril
1
-1
/
+1
2019-04-18
Remove obsolete dhall_expr!() macro
Nadrieril
1
-8
/
+16
2019-04-14
Namespace deserialization functions in a `de` submodule
Nadrieril
1
-3
/
+3
Closes #73
2019-04-11
Thread lifetimes through other newtypes
Nadrieril
1
-1
/
+1
Closes #55
2019-04-10
Add SimpleType and SimpeStaticType. Derive the latter
Nadrieril
1
-18
/
+36
2019-04-08
Move spec tests into the relevant files
Nadrieril
4
-824
/
+0
2019-04-07
Restrict public API
Nadrieril
1
-16
/
+47
Closes #20
2019-04-07
Avoid constructing exprs manually when possible
Nadrieril
4
-1
/
+4
2019-04-07
Augment stack size for typecheck tests
Nadrieril
2
-8
/
+18
2019-04-07
Put a Cow in Type
Nadrieril
1
-3
/
+3
2019-04-06
Add Sort type universe
Nadrieril
1
-6
/
+6
2019-04-06
Move binary decoding to new API
Nadrieril
1
-14
/
+11
2019-04-06
Massage import loading into new API
Nadrieril
1
-2
/
+7
Closes #9
2019-04-06
Rename some modules
Nadrieril
1
-0
/
+0
2019-04-06
s/Type/StaticType/
Nadrieril
1
-7
/
+7
2019-04-06
s/DhallError/ImportError/
Nadrieril
1
-3
/
+3
2019-04-06
Factor out the recursion when possible in typecheck
Nadrieril
1
-2
/
+2
2019-04-06
Add type-inference tests
Nadrieril
2
-0
/
+149
Closes #49
[next]