summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-121-44/+134
|\
| * Update dhall-lang submoduleNadrieril2019-08-101-0/+13
| |
| * Add support for dependent typesNadrieril2019-08-081-0/+7
| |
| * Flatten nested let bindingsNadrieril2019-08-071-6/+40
| |
| * Add binary-decode testsNadrieril2019-08-071-0/+21
| |
| * Remove union literals from the languageNadrieril2019-08-071-9/+3
| |
| * Various parsing tweaksNadrieril2019-08-071-3/+3
| |
| * Generalize empty list annotationsNadrieril2019-08-061-2/+6
| |
| * Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-2/+9
| |
| * RFC3986 URLsNadrieril2019-08-061-1/+7
| |
| * rustfmtNadrieril2019-08-061-7/+10
| |
| * Remove old-style optional literalsNadrieril2019-08-061-7/+9
| |
| * Inline headersNadrieril2019-08-061-15/+14
| |
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-9/+20
|/ | | | | | | | | | where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic.
* Update dhall-lang submoduleNadrieril2019-08-031-12/+12
|
* Finish implementing binary encodingNadrieril2019-05-121-6/+8
|
* Implement binary encodingNadrieril2019-05-121-20/+291
| | | | Closes #39
* Write a custom map type that allows duplicatesNadrieril2019-05-101-29/+38
|
* Detect duplicate record fields in typecheckNadrieril2019-05-091-32/+29
|
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
|
* Consolidate errors in the error moduleNadrieril2019-05-061-8/+9
|
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+363
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-17 22:01:15 +0000