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
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Implement once nice error using annotate_snippets
Nadrieril
2020-02-01
4
-4
/
+38
*
Remove debug output in type errors
Nadrieril
2020-01-30
3
-85
/
+3
*
Cleanup variable handling
Nadrieril
2020-01-29
1
-2
/
+0
*
Use TyExpr in Typed
Nadrieril
2020-01-29
25
-50
/
+108
*
Make most type errors stringy
Nadrieril
2020-01-25
58
-118
/
+58
*
Update type-errors
Nadrieril
2020-01-24
45
-47
/
+47
*
Update dhall-lang submodule
Nadrieril
2019-12-27
2
-2
/
+2
*
Extend merge to work on Optionals
Nadrieril
2019-12-24
4
-4
/
+4
*
Add debug output to unhandled type error message
Nadrieril
2019-12-24
78
-78
/
+78
*
Update dhall-lang submodule
Nadrieril
2019-12-22
1
-0
/
+1
*
Update dhall-lang submodule
Nadrieril
2019-12-22
2
-0
/
+2
*
Add more detail to TypeMismatch error
Nadrieril
2019-11-11
5
-0
/
+45
*
Add a few more pretty errors
Nadrieril
2019-11-11
9
-9
/
+34
*
Move "Type error" error prefix
Nadrieril
2019-11-11
3
-6
/
+6
*
Display first pretty type error
Nadrieril
2019-11-11
3
-3
/
+18
*
Implement basicest Display for TypeError
Nadrieril
2019-11-11
87
-87
/
+87
*
Test type error messages
Nadrieril
2019-11-11
87
-0
/
+87
*
Move api into its own crate
Nadrieril
2019-08-13
1
-68
/
+0
*
Remove dhall::expr!() macro
Nadrieril
2019-08-10
1
-19
/
+11
*
Rewrite the StaticType trait and everything around it
Nadrieril
2019-05-09
1
-35
/
+32
*
Fix derive
Nadrieril
2019-05-07
1
-1
/
+1
*
Remove dummy lifetimes
Nadrieril
2019-05-04
1
-1
/
+1
*
rustfmt
Nadrieril
2019-05-04
1
-1
/
+1
*
Rename dhall_generator to dhall_proc_macros
Nadrieril
2019-05-04
1
-8
/
+8
*
Rename dhall_core to dhall_syntax
Nadrieril
2019-05-04
1
-1
/
+1
*
Remove obsolete dhall_expr!() macro
Nadrieril
2019-04-18
1
-8
/
+16
*
Namespace deserialization functions in a `de` submodule
Nadrieril
2019-04-14
1
-3
/
+3
*
Thread lifetimes through other newtypes
Nadrieril
2019-04-11
1
-1
/
+1
*
Add SimpleType and SimpeStaticType. Derive the latter
Nadrieril
2019-04-10
1
-18
/
+36
*
Move spec tests into the relevant files
Nadrieril
2019-04-08
4
-824
/
+0
*
Restrict public API
Nadrieril
2019-04-07
1
-16
/
+47
*
Avoid constructing exprs manually when possible
Nadrieril
2019-04-07
4
-1
/
+4
*
Augment stack size for typecheck tests
Nadrieril
2019-04-07
2
-8
/
+18
*
Put a Cow in Type
Nadrieril
2019-04-07
1
-3
/
+3
*
Add Sort type universe
Nadrieril
2019-04-06
1
-6
/
+6
*
Move binary decoding to new API
Nadrieril
2019-04-06
1
-14
/
+11
*
Massage import loading into new API
Nadrieril
2019-04-06
1
-2
/
+7
*
Rename some modules
Nadrieril
2019-04-06
1
-0
/
+0
*
s/Type/StaticType/
Nadrieril
2019-04-06
1
-7
/
+7
*
s/DhallError/ImportError/
Nadrieril
2019-04-06
1
-3
/
+3
*
Factor out the recursion when possible in typecheck
Nadrieril
2019-04-06
1
-2
/
+2
*
Add type-inference tests
Nadrieril
2019-04-06
2
-0
/
+149
*
Update dhall-lang submodule
Nadrieril
2019-04-04
1
-36
/
+36
*
Move recursion out of Expr
Nadrieril
2019-03-31
1
-1
/
+1
*
rustfmt
Nadrieril
2019-03-31
1
-4
/
+1
*
Remove some redundant namespacing
Nadrieril
2019-03-31
1
-16
/
+16
*
Derive DhallType for anonymous structs and enums
Nadrieril
2019-03-26
1
-0
/
+24
*
Derive DhallType for structs
Nadrieril
2019-03-26
1
-10
/
+27
*
Update dhall-lang submodule
Nadrieril
2019-03-26
1
-5
/
+5
*
Lay groundwork for DhallType deriving
Nadrieril
2019-03-24
1
-0
/
+15
[prev]
[next]