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
...
*
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
*
Parse multiline strings correctly
Nadrieril
2019-03-24
1
-8
/
+0
*
Generate parser tests list automatically
Nadrieril
2019-03-24
1
-67
/
+2
*
Parser import hash and headers
Nadrieril
2019-03-24
1
-1
/
+1
*
Disallow builtins as bound variables
Nadrieril
2019-03-24
1
-1
/
+1
*
Handle merge and record projection
Nadrieril
2019-03-23
1
-6
/
+6
*
Update dhall-lang submodule
Nadrieril
2019-03-23
1
-2
/
+3
*
Handle double overflows in parser
Nadrieril
2019-03-23
1
-2
/
+2
*
Parse unicode escapes in string
Nadrieril
2019-03-23
1
-1
/
+1
*
Handle quoted labels
Nadrieril
2019-03-22
1
-1
/
+1
*
Parse a lot more of the import types
Nadrieril
2019-03-22
1
-7
/
+7
*
Improve import handling in parser
Nadrieril
2019-03-21
2
-5
/
+10
*
Follow the spec for handling Doubles
Nadrieril
2019-03-21
1
-1
/
+1
*
Reorganize dhall_core a bit
Nadrieril
2019-03-21
1
-1
/
+1
*
Make parser implementation non-recursive
Nadrieril
2019-03-20
1
-16
/
+1
*
Cleanup parser code
Nadrieril
2019-03-20
1
-1
/
+1
*
Obsolete old parser macros; performance is now dead
Nadrieril
2019-03-20
1
-1
/
+1
*
Handle simple parsing cases with new macros
Nadrieril
2019-03-20
1
-1
/
+1
*
rustfmt
Nadrieril
2019-03-19
1
-1
/
+1
*
Test printer in parser tests
Nadrieril
2019-03-19
1
-0
/
+5
*
Add travis integration
Nadrieril
2019-03-19
1
-11
/
+15
[prev]
[next]