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
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
|
Merge pull request #110 from Nadrieril/parser-proc-macro
Nadrieril Feneanar
2019-09-02
9
-962
/
+1351
|
\
\
\
|
*
|
|
Improve hygiene of identifiers
Nadrieril
2019-09-02
1
-13
/
+20
|
*
|
|
Parse polymorphically in the Embed parameter
Nadrieril
2019-09-02
3
-102
/
+130
|
*
|
|
We don't use the try_blocks feature anymore
Nadrieril
2019-09-02
1
-1
/
+0
|
*
|
|
Separate both parser proc_macros into their own files
Nadrieril
2019-09-02
3
-90
/
+95
|
*
|
|
Use proper hygiene for `Parsers` and `Rule`
Nadrieril
2019-09-02
4
-19
/
+44
|
*
|
|
Properly parse the argument of make_parser as an impl
Nadrieril
2019-09-02
2
-100
/
+65
|
*
|
|
Get rid of EntryPoint magic
Nadrieril
2019-09-02
3
-168
/
+80
|
*
|
|
Avoid use of bind_by_move_pattern_guards feature
Nadrieril
2019-09-02
2
-3
/
+9
|
*
|
|
Make make_parser into a proc_macro_attribute
Nadrieril
2019-09-01
3
-7
/
+12
|
*
|
|
Change parser macros to use a function-like syntax
Nadrieril
2019-09-01
6
-998
/
+1188
|
*
|
|
Rewrite the make_parser macro as a proc_macro
Nadrieril
2019-09-01
6
-209
/
+456
|
/
/
/
|
*
|
Move Canonicalize into resolve.
Fintan Halpenny
2019-09-03
4
-80
/
+81
|
*
|
No need for as_ref call
Fintan Halpenny
2019-09-03
1
-1
/
+1
|
*
|
swp file accidentally checked in
Fintan Halpenny
2019-09-03
1
-0
/
+0
|
|
/
|
*
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-02
41
-3905
/
+3474
|
|
\
|
|
/
|
/
|
*
|
Update dhall-lang submodule
Nadrieril
2019-08-31
1
-0
/
+0
*
|
Don't URL-decode path segments
Nadrieril
2019-08-31
7
-26
/
+36
*
|
Merge pull request #109 from Nadrieril/tomap-parsing
Nadrieril Feneanar
2019-08-31
9
-10
/
+38
|
\
\
|
*
|
Implement parsing of `toMap` keyword
Nadrieril
2019-08-31
9
-10
/
+38
|
/
/
*
|
Rework test harness to prepare for new types of tests
Nadrieril
2019-08-30
3
-362
/
+457
*
|
Cleanup conversion of `Value` to `Expr`
Nadrieril
2019-08-30
4
-103
/
+67
*
|
Merge pull request #108 from Nadrieril/rename-subexpr
Nadrieril Feneanar
2019-08-30
13
-135
/
+129
|
\
\
|
*
|
Rename SubExpr to Expr, and Expr to RawExpr
Nadrieril
2019-08-28
13
-135
/
+129
|
/
/
*
|
clippy
Nadrieril
2019-08-27
7
-24
/
+28
*
|
Merge pull request #107 from Nadrieril/rework-parser
Nadrieril Feneanar
2019-08-27
6
-224
/
+288
|
\
\
|
*
|
s/token_rule/rule/
Nadrieril
2019-08-27
1
-20
/
+20
|
*
|
Rework parse macros to avoid the large ParsedValue enum
Nadrieril
2019-08-27
4
-149
/
+140
|
*
|
Remove rule aliasing
Nadrieril
2019-08-27
3
-108
/
+95
|
*
|
Wording
Nadrieril
2019-08-26
1
-13
/
+13
|
*
|
Remove rule_group macro
Nadrieril
2019-08-26
1
-22
/
+4
|
*
|
Match on rules in parser instead of on ParsedValues
Nadrieril
2019-08-26
3
-26
/
+130
|
/
/
*
|
Merge pull request #106 from Nadrieril/dont-compile-twice
Nadrieril Feneanar
2019-08-26
3
-3
/
+7
|
\
\
|
*
|
Tweak tests to avoid double compilation
Nadrieril
2019-08-26
3
-3
/
+7
|
/
/
*
|
Merge pull request #105 from Nadrieril/keep-type-info
Nadrieril Feneanar
2019-08-26
9
-481
/
+521
|
\
\
|
*
|
Check correctness of type info in a few more places
Nadrieril
2019-08-26
1
-17
/
+43
|
*
|
Remove now unnecessary VoVF enum
Nadrieril
2019-08-25
3
-98
/
+53
|
*
|
Rework apply_builtin to enforce preservation of type information
Nadrieril
2019-08-25
3
-200
/
+173
|
*
|
Enforce type information almost everywhere
Nadrieril
2019-08-25
5
-63
/
+53
|
*
|
Check consistency of type information
Nadrieril
2019-08-25
2
-27
/
+30
|
*
|
Keep type information through normalization
Nadrieril
2019-08-25
4
-90
/
+173
|
*
|
Clarify which syntax elements are completely handled in the tck phase
Nadrieril
2019-08-23
2
-25
/
+24
|
*
|
Keep type information after RecursiveRecordTypeMerge
Nadrieril
2019-08-23
3
-90
/
+26
|
*
|
Don't use take_mut::take lightly since normalize_whnf might panic
Nadrieril
2019-08-21
1
-9
/
+18
|
*
|
Reduce API surface of dhall crate
Nadrieril
2019-08-20
3
-24
/
+10
|
*
|
Move type construction fns from serde_dhall to dhall
Nadrieril
2019-08-20
2
-27
/
+40
|
*
|
Use Ret in apply_builtin
Nadrieril
2019-08-20
2
-96
/
+101
|
*
|
Propagate type information in Value::app()
Nadrieril
2019-08-20
4
-35
/
+34
|
*
|
Track evaluation status alongside ValueF in VoVF
Nadrieril
2019-08-20
3
-68
/
+80
|
*
|
No need for Cow in return type of get_type
Nadrieril
2019-08-20
4
-27
/
+24
[prev]
[next]