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
/
src
/
phase
/
resolve.rs
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Move contents of dhall under a semantics submodule
Nadrieril
2019-12-15
1
-180
/
+0
*
Reexport dhall_syntax as a module in dhall
Nadrieril
2019-12-15
1
-4
/
+4
*
Generate import tests automatically
Nadrieril
2019-11-11
1
-47
/
+0
*
Run `cargo fmt`
Nadrieril
2019-11-11
1
-46
/
+48
*
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-06
1
-19
/
+22
|
\
|
*
Resolve imports by mutating Expr instead of cloning it
Nadrieril
2019-09-03
1
-19
/
+22
*
|
Merge remote-tracking branch 'origin/fintan/canonicalize' into fintan/canonic...
Fintan Halpenny
2019-09-06
1
-1
/
+0
|
\
\
|
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Nadrieril
2019-09-03
1
-1
/
+0
|
|
\
|
*
|
|
Move Canonicalize into resolve.
Fintan Halpenny
2019-09-03
1
-0
/
+70
|
/
/
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Fintan Halpenny
2019-09-02
1
-13
/
+21
|
\
|
|
*
Rework test harness to prepare for new types of tests
Nadrieril
2019-08-30
1
-2
/
+11
|
*
Rename SubExpr to Expr, and Expr to RawExpr
Nadrieril
2019-08-28
1
-2
/
+2
|
*
Reduce api surface of dhall crate
Nadrieril
2019-08-16
1
-4
/
+4
|
*
Disable some unused unstable features
Nadrieril
2019-08-15
1
-2
/
+1
|
*
Implement inline headers parsing
Nadrieril
2019-08-13
1
-4
/
+4
*
|
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
FintanH
2019-08-12
1
-4
/
+15
|
\
|
|
*
Update dhall-lang submodule
Nadrieril
2019-08-07
1
-0
/
+3
|
*
Remove an annoying redundancy in the test harness
Nadrieril
2019-08-07
1
-2
/
+2
|
*
Add some new tests and implement import alternatives
Nadrieril
2019-08-06
1
-2
/
+2
|
*
Update dhall-lang submodule
Nadrieril
2019-08-06
1
-0
/
+2
|
*
Inline headers
Nadrieril
2019-08-06
1
-0
/
+6
*
|
Refactor of File to be the combination of Directory and the file name,
FintanH
2019-08-12
1
-5
/
+6
|
/
*
Include success or failure prefix in test filtering
Nadrieril
2019-05-12
1
-2
/
+2
*
Implement binary encoding
Nadrieril
2019-05-12
1
-0
/
+1
*
Make visibilities more consistent
Nadrieril
2019-05-09
1
-3
/
+3
*
Consolidate errors in the error module
Nadrieril
2019-05-06
1
-9
/
+2
*
Reorganize dhall into a phase structure
Nadrieril
2019-05-06
1
-0
/
+139
